{"entities":{"Q5044753":{"pageid":7074330,"ns":120,"title":"Item:Q5044753","lastrevid":54433721,"modified":"2026-01-26T19:44:50Z","type":"item","id":"Q5044753","labels":{"en":{"language":"en","value":"Gate splitting in LOTOS specifications using abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611280"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044753$F782753E-48E1-44AB-90BF-EACBF5D1972A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b20856d7e1cb167a0b6e4820dcc250398a4c51c7","datavalue":{"value":{"text":"Gate splitting in LOTOS specifications using abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044753$56CEFE62-EAC8-419C-B24C-9D71FF9DB655","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36cd804489ca78eb53850e261618c6b88ba3c6a1","datavalue":{"value":"1497.68302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044753$34007349-4095-471A-B754-BE41FCC92578","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbc3e80a8d07716c69e309c0f1300098669c632d","datavalue":{"value":"10.1007/3-540-56610-4_81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044753$127E5FFB-911B-46C5-A34D-5BC1E133D8B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"389ca8b22954718a99af740d3555389337dec168","datavalue":{"value":{"entity-type":"item","numeric-id":202169,"id":"Q202169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044753$DB6D89FC-A5D0-430F-9905-8814ED5F12F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"992447f4f05b4fb37f79c072df9892acd6383aa4","datavalue":{"value":{"entity-type":"item","numeric-id":995463,"id":"Q995463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044753$F59BE300-D010-4D01-A595-F9EFE05E4C36","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044753$D7F6ADC3-36E2-429C-AF4C-7F7DAB7A275C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044753$2DE6AC37-89E2-460B-9C00-C126E521CDA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044753$863B330B-4C9A-4195-9453-98A789ED11EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ae3f26b6499dc100ece19e93e6065c76dd0411ea","datavalue":{"value":"7611280","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044753$F742B883-6305-4A89-81FE-9C7759991FB1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044753$1F7F384F-6CCD-41AF-8B39-5B449C51F193","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044753$98CB078D-E4E3-47ED-9EBA-107C8128BBFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0fe7c0741bd5f9e89f0a1ecad2291b9df5e3117","datavalue":{"value":"https://doi.org/10.1007/3-540-56610-4_81","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044753$A284DDAC-3234-4712-9D50-B8FEE378E9A3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0bc224f567115f4647c843a062a6f417fe2c735c","datavalue":{"value":"W1570325388","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044753$1483B38C-B18F-4DB3-B2C1-4E97B3FF75DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a1cfc1d9554fd0578fb57504fa04de62a62197","datavalue":{"value":{"entity-type":"item","numeric-id":4174789,"id":"Q4174789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044753$D085E9C5-81C0-49DB-B121-7EC9DF6FFC9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3109868eabc348164df54dfbc4d510999bf50764","datavalue":{"value":{"entity-type":"item","numeric-id":5285987,"id":"Q5285987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044753$08AEAA0F-1A7D-4872-85DC-4A7B2BE86626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ccc272df6e3f638456d722d8f630056eceb056f","datavalue":{"value":{"entity-type":"item","numeric-id":5565113,"id":"Q5565113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044753$F65A376A-B88D-48AA-A65B-073D175210C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044753$348A7CD4-8702-42B9-AAC7-B5259215EC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8885a586015fd9af027d47f78a409508c3a3dab","datavalue":{"value":{"entity-type":"item","numeric-id":3994996,"id":"Q3994996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044753$F04E24E6-95A2-4AA8-8DC3-B35E72E33597","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afc40b59212826137882b8c8b131812ed3527059","datavalue":{"value":{"entity-type":"item","numeric-id":1346681,"id":"Q1346681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3731986deaf0f0c50d9d5f402d2fa522df0d9842","datavalue":{"value":{"amount":"+0.9950145483016968","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044753$30AAF804-0FFC-41FC-B05B-B98073579BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e3e19f49a76a6f837bbae71cdbdbd23b8063738","datavalue":{"value":{"entity-type":"item","numeric-id":3790630,"id":"Q3790630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723ebb5d0b52adf2e4f7dc3dd7c8955ff8a1216f","datavalue":{"value":{"amount":"+0.7204698920249939","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044753$10EAA57D-A4AE-45B2-A3C9-5B2B5D5C6EA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd72464fbe757fde9b3b1e7d17afdc429350a03e","datavalue":{"value":{"entity-type":"item","numeric-id":4037094,"id":"Q4037094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0780da9606c0ddebd53524779160a3a776d2af7e","datavalue":{"value":{"amount":"+0.7111560702323914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044753$D3BCA787-D739-467E-BE7C-CB98158DA0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33971421ef607fb0b71d3366dda58fe4766f3273","datavalue":{"value":{"entity-type":"item","numeric-id":4028628,"id":"Q4028628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab68a68562513f3e119e5986ecc7d4699fd3e18a","datavalue":{"value":{"amount":"+0.710559606552124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044753$B7A5B46F-F397-425F-8E0B-A4808232CE37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9292e8aeb75b460532844322d246ca5b1f08bfe0","datavalue":{"value":{"entity-type":"item","numeric-id":5044762,"id":"Q5044762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"407d4c11caad619c9c4c0515808a5d29e23e4404","datavalue":{"value":{"amount":"+0.7085236310958862","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044753$E3FF9DB1-FD01-4639-B233-4F58A8363FF9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044753","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044753"}}}}}