{"entities":{"Q2996155":{"pageid":3006879,"ns":120,"title":"Item:Q2996155","lastrevid":45218251,"modified":"2025-12-03T10:11:54Z","type":"item","id":"Q2996155","labels":{"en":{"language":"en","value":"Computational Space Efficiency and Minimal Model Generation for Guarded Formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5884895"}},"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":"Q2996155$7295FBA0-91C1-459A-9A84-EC0A7B4FACE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de607bdc56c546ef1aa89bc84224618b6b93d07c","datavalue":{"value":{"text":"Computational Space Efficiency and Minimal Model Generation for Guarded Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2996155$60DAB78A-D329-46E8-B84F-F73175BE287B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db82cf036268b910008db736fdda3e5961081de9","datavalue":{"value":"1275.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996155$924E7293-F197-489F-9275-6F75122FCE41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"345ab6e3f9568008e987d1ce183787f2adff4204","datavalue":{"value":"10.1007/3-540-45653-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996155$FB17BDDD-136A-4FC4-B794-CEC42A939E44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6c0f6fffb084684fda0f4584d3f5c73885a1084","datavalue":{"value":{"entity-type":"item","numeric-id":1404982,"id":"Q1404982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996155$CA928EED-CC5F-4627-9785-D5962CAB3B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"531bacf41fa7f19b08f4a713dec30b9d0307505b","datavalue":{"value":{"entity-type":"item","numeric-id":924722,"id":"Q924722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996155$994CA285-A233-441C-AEEC-C405D30A8D01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdb93d7789c716ce138d996005ad957d544064c","datavalue":{"value":{"entity-type":"item","numeric-id":299184,"id":"Q299184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996155$0C5B4955-1B74-486E-ABEE-E7417581E3D2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996155$8F500943-65D3-4D9D-97EA-5DD2F1A1D479","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996155$7621871D-A276-4252-9335-4AAEEF17DB16","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996155$9EB9174E-1D19-4F71-A19E-A316634DEE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996155$692E7F88-6A15-4C60-B7EB-6E4B2DDE10C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996155$2BC4D46C-B955-46BB-8BA7-BAEBCA07D871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996155$00C4A7DA-7406-4DFA-94C0-EE845AFDE32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996155$D341840F-080C-48E8-BA69-DC448C99CDDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60170030365365e223dcec397fc412258e73adde","datavalue":{"value":"5884895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996155$EA247720-0CD1-4D37-AABC-2661D88DAA3D","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":"Q2996155$A36E6B9D-03D9-455C-818E-B9736EB4BD49","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"570fff2280fbaee8d467cab4657098ad43f8f861","datavalue":{"value":"https://doi.org/10.1007/3-540-45653-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2996155$F10FBE44-E09D-4DD6-A122-87B0E44BDB82","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7c7545bfe7ee948ae912389454299c44990189f3","datavalue":{"value":"W1526350529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996155$2F91E078-A8CA-4C51-84B1-18EBFBF2DD27","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707abc09905da1147c1a800f214238ce1eb70b44","datavalue":{"value":{"entity-type":"item","numeric-id":1704599,"id":"Q1704599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7f73420cee911766e546c31c8c2fc552ccdeeb8","datavalue":{"value":{"amount":"+0.8795133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996155$58723C83-5AA7-4893-87DE-1EC0B0139E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"323f4150e431c7a7fd40ff34727ff135b7937bc7","datavalue":{"value":{"entity-type":"item","numeric-id":2767089,"id":"Q2767089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7517c2faf1a42135e42905ac94fa0403cc25ee6f","datavalue":{"value":{"amount":"+0.8562653","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996155$73503584-819D-48D1-81A6-13F38A911BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d981870c91184dd41f32a3b54032ef4f6bf59d4","datavalue":{"value":{"entity-type":"item","numeric-id":2845504,"id":"Q2845504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c0fa600a847916ed262180cbcd525c6f501bca","datavalue":{"value":{"amount":"+0.8488429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996155$A674EBC6-C5ED-4705-B0FF-3B245794706F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab7f8552e21f052ff6f192f2dac9acfc95b1f03","datavalue":{"value":{"entity-type":"item","numeric-id":1205713,"id":"Q1205713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"186559d8af38331a6958b9c6fafb2145cb6ad3da","datavalue":{"value":{"amount":"+0.8469166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996155$E33D51DE-129F-46C3-B2A3-8259FE712F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c02bcfdbe13a58088d4eda7329c4e3fa44ef42","datavalue":{"value":{"entity-type":"item","numeric-id":2796410,"id":"Q2796410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"496c20ccad8713d50783074aeeb7edb146904f47","datavalue":{"value":{"amount":"+0.8448204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996155$950707DE-FF5C-4CA0-BEDE-FB6CB60C2A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddf15a30165788009b4430f0a2e8094477d9ddd4","datavalue":{"value":{"entity-type":"item","numeric-id":2723419,"id":"Q2723419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d755cb5ef14219cf751964a8ba5bfbfab3abdc0d","datavalue":{"value":{"amount":"+0.84449065","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996155$CF03B752-04FB-4807-8D5A-E4D80289C43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f48a2b7882d03de41a9fb8d6f1df3fcfcde538","datavalue":{"value":{"entity-type":"item","numeric-id":4942016,"id":"Q4942016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbc503f68ae6e6b274150abc760c8d14b8441168","datavalue":{"value":{"amount":"+0.8437823","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996155$E01114C1-80DA-4A35-B091-676D24FA9A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662f051937086bb2907463bf6ee78e7b61ae81e9","datavalue":{"value":{"entity-type":"item","numeric-id":4493882,"id":"Q4493882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81959cc24ed913eada3f342952192900b632e6ca","datavalue":{"value":{"amount":"+0.84359264","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996155$00746E5F-24D7-4755-A209-35ABDDFFBDE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d8a074cc5846737b55281d8bc60d76b8cf508ea","datavalue":{"value":{"entity-type":"item","numeric-id":4472242,"id":"Q4472242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8518d3aafc9045e23f14f5bf36cb7f7cb98ee2eb","datavalue":{"value":{"amount":"+0.8419879","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996155$7B440FCD-B618-4071-9CD5-6D693410E854","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2996155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2996155"}}}}}