{"entities":{"Q4339855":{"pageid":6369455,"ns":120,"title":"Item:Q4339855","lastrevid":46551579,"modified":"2025-12-25T00:37:47Z","type":"item","id":"Q4339855","labels":{"en":{"language":"en","value":"Detection and optimization of suspension-free logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1022046"}},"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":"Q4339855$1F985545-02ED-4C46-AEC7-7ACD96E7A7F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f201e0907b09caf7f34c64c3bebe8a96d233f101","datavalue":{"value":{"text":"Detection and optimization of suspension-free logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4339855$A762F66A-937C-4C20-80C6-7B7CDC311926","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"685676cf7c51e80119fdae5155951c784b798882","datavalue":{"value":"0877.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339855$C688088D-6FBE-4DE6-875B-8CC087666088","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"220200404994e17a8bcd5dbb2d25d6c6fc9dc6ba","datavalue":{"value":"10.1016/S0743-1066(96)00052-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339855$6A884999-5BD9-4BB9-BEC9-B881950C5D7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc9f91512d0b27503ca900c6174d7c9baec34bef","datavalue":{"value":{"entity-type":"item","numeric-id":2339469,"id":"Q2339469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4339855$27246FB6-C4EF-40F2-8114-1FA2509CC57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9943261baa707b7d98b44147a653e8ceeb0b8fde","datavalue":{"value":{"entity-type":"item","numeric-id":4339854,"id":"Q4339854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4339855$CE236B33-7472-44A0-B79A-86358A5F842B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c319a8c8895dba0abfe4ada0b01c02d5d6c2718c","datavalue":{"value":{"entity-type":"item","numeric-id":4223450,"id":"Q4223450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4339855$7AAB40B4-D0A9-4BF7-8EA6-038E4869BD8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7eb8fbff5b5a1996cd7eff3ff7a29f3a29661a8f","datavalue":{"value":{"entity-type":"item","numeric-id":3030270,"id":"Q3030270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4339855$B883129C-3E72-4DD5-AA8F-CF427A531661","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5392596ed00365b9040485b26d567df955774c4a","datavalue":{"value":{"time":"+1997-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4339855$D8BA5208-F039-49EB-89B1-EAE50892F96B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339855$DCF36F5F-B58C-4824-9BBF-E8F3D96BD4E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd09f49b33f75c75dd83f7bf32f9eb6852963c4d","datavalue":{"value":"1022046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339855$3562D400-C95C-41ED-A9EB-A4E535403DEF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e21a49e399bcff57a94ecc36f5a4967ffb2792","datavalue":{"value":"suspension-free logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4339855$56049F8A-72CB-435B-84FE-A4C8DD8457E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4d36e94124670e343ce0a941fd9d5d398e768df6","datavalue":{"value":{"entity-type":"item","numeric-id":24368,"id":"Q24368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4339855$E93B7375-B3EC-44C4-9489-8182EC0C622B","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":"Q4339855$92AFBDDB-CC92-4203-BB83-5428D62FF472","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bf70673bc030c11fbf567d6156e99bf5e3eb3507","datavalue":{"value":"https://doi.org/10.1016/s0743-1066(96)00052-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4339855$43CD9022-776C-449F-912D-EB7C2345DD5B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6645d325884126a01ba1cc4257175f2da4988626","datavalue":{"value":"W2032752290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4339855$A075DCB2-1FB6-4141-BC36-1BD081E78843","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13269822f7e8c8692ae6169da5d61dde2517308f","datavalue":{"value":{"entity-type":"item","numeric-id":5277806,"id":"Q5277806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5491db81d7439875f666a0d27e1b585ce0eb214b","datavalue":{"value":{"amount":"+0.8174936771392822","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":"Q4339855$26CDFE77-66CC-4269-BC1F-D5D5CAE4855D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"120a550c40f7847c3e4d07547acf9cdb7ffb7b22","datavalue":{"value":{"entity-type":"item","numeric-id":4417885,"id":"Q4417885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0deea726622187b8bb274c483b39a306b7153c80","datavalue":{"value":{"amount":"+0.8053381443023682","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":"Q4339855$9E45D804-1AF4-4B16-BDAA-D716626CA82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77538359087109d6331b86f986f3f21f7d7f16b6","datavalue":{"value":{"entity-type":"item","numeric-id":4264198,"id":"Q4264198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5c2da2ddceeb3792d79ae796e77e301c5bb351","datavalue":{"value":{"amount":"+0.7429215312004089","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":"Q4339855$0D7EAD7E-7A19-4840-BADE-CF028DAC1D64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97436f67633dbf2bc2e83fa3709ab3305968f980","datavalue":{"value":{"entity-type":"item","numeric-id":3694653,"id":"Q3694653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"458029978d432d9ccf9429f6f709b00eb9d7151d","datavalue":{"value":{"amount":"+0.704391360282898","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":"Q4339855$8B8AC56F-934E-421B-9544-489387C2D2A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4339855","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4339855"}}}}}