{"entities":{"Q702093":{"pageid":703942,"ns":120,"title":"Item:Q702093","lastrevid":63736656,"modified":"2026-04-11T15:11:50Z","type":"item","id":"Q702093","labels":{"en":{"language":"en","value":"Bounded nondeterminism of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2128510"}},"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":"Q702093$F4345E86-A24C-4353-8689-1387D8ED4273","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eacfcdea8bf0234164df6609092995e32fd51ae1","datavalue":{"value":{"text":"Bounded nondeterminism of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q702093$9E06D12B-F087-49FD-9F1F-2B990B57A559","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d331e20f1c8a0a756b6a97bea16e7688cc967b1","datavalue":{"value":"1095.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702093$D3CDEF18-9E6B-4E24-8811-969F909B5A16","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7a30c8f2f8648adfc6cbb029a2bd623332cae17a","datavalue":{"value":{"entity-type":"item","numeric-id":202170,"id":"Q202170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702093$3EDD81C9-9602-4A9F-BD54-F8F3EBAE4943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cde3caecd984a5906252a2e7e554f44887be84a9","datavalue":{"value":{"entity-type":"item","numeric-id":293339,"id":"Q293339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702093$605C822A-3325-4578-8478-A22E24436355","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q702093$DAC3F957-DA4F-44B0-BC35-BC9C02FB173D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37e0c96c2448c107e8ba1ab758a77fd0ef8e40ee","datavalue":{"value":{"time":"+2005-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q702093$E1746FBA-DF59-4897-943F-A8B34433EDCD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702093$E5C5F803-2398-4317-B9F7-0BEB5EC98497","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"42bc9aa18f6bdd98fc94514c47a601f4ff8923d0","datavalue":{"value":"2128510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702093$48EE5F32-00A4-429E-95C3-8AE4C67FB165","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd9894bb2ae50bf3e9702ac19cb1c5499b6fe1b","datavalue":{"value":"Logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q702093$64E24668-4786-4F35-8D96-0CAAA403EBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63659cd2f684a9f446876779137f81450675dce2","datavalue":{"value":"universal termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q702093$55FCF2C1-5A76-4222-9AF4-66A2CB6C10E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4ce0166617d2ac95331636db988db19aa614793","datavalue":{"value":"bounded nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q702093$C16D60A6-DF50-45B3-9362-7DC8D36EBAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02fa8162c588f1fc37cc3112bae8b3489b86142b","datavalue":{"value":"strong termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q702093$62A80C92-A055-469F-A17C-FC609DD4E333","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":"Q702093$B830EB49-C137-4311-9417-348E1A9527D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"273102ba094ecef10d4cfec547ca0ac7295e99e9","datavalue":{"value":"https://doi.org/10.1023/b:amai.0000038175.53999.3a","type":"string"},"datatype":"url"},"type":"statement","id":"Q702093$F6FBCD0C-A2B5-4BD0-B0BC-840D8E1FF722","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"329ce45fe9b19757290b8d4d0ae0f7ecb174c572","datavalue":{"value":"W1973827570","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702093$22629A52-86B2-4BA3-AE02-7E8518FFF1DD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"323be5032d90bc21f1acebad418504d4cb79689e","datavalue":{"value":"10.1023/B:AMAI.0000038175.53999.3A","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q702093$A3D62B43-26B1-49A6-9AA9-CB297335EDFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44084c8d4dcc70d5af88014c2c28bd30faf78ff9","datavalue":{"value":{"entity-type":"item","numeric-id":4204136,"id":"Q4204136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4dbc49def2126dd72fe75abee334978f716ddc9","datavalue":{"value":{"amount":"+0.9353249","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":"Q702093$7AE6EB92-AAEA-4CD8-A31E-BE0793F8F779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1fa84de7f47c15417d6f85199bbd69c97a45d95","datavalue":{"value":{"entity-type":"item","numeric-id":4264062,"id":"Q4264062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe63320aeafed2a2768515f5c7be7197a527b6aa","datavalue":{"value":{"amount":"+0.93130887","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":"Q702093$7616F761-69B6-49CB-8961-703FF1265E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a69ef71a3296d6d98ffa3996058d4bc93528c6c3","datavalue":{"value":{"entity-type":"item","numeric-id":3128622,"id":"Q3128622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44c74e8df7decd4b9906f05f7e4d895a42bf39fe","datavalue":{"value":{"amount":"+0.9142574","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":"Q702093$84D10D2E-9CE9-4557-8BB5-8EDA14E3EFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"408e2c006bcd3fcf2c6122adb3e70d16b183d84a","datavalue":{"value":{"entity-type":"item","numeric-id":1924779,"id":"Q1924779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"294d2a8bf5b8b8f80a5b5dd26c217de10c08aa46","datavalue":{"value":{"amount":"+0.9128678","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":"Q702093$EB064E53-8D4B-45C4-B6EA-EF2CEB896A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f2203811f135838207bc277e09b30b696bbe4d","datavalue":{"value":{"entity-type":"item","numeric-id":3726088,"id":"Q3726088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7db03f8e869d6a9c7d703e8123a2f1b919e58fd","datavalue":{"value":{"amount":"+0.9126501","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":"Q702093$89D2E501-EFC3-437E-81E3-80405612DA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a60a3d34b0c149ac7f060caef2e587e439df09b","datavalue":{"value":{"entity-type":"item","numeric-id":4649550,"id":"Q4649550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7014a8a83c2e4630393f011cb3963113b8acb15","datavalue":{"value":{"amount":"+0.9109651","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":"Q702093$46679C46-6465-495C-AEA8-A40E70BE1FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab2d1a611f67d730cf7a27111da5d73cc0560c5","datavalue":{"value":{"entity-type":"item","numeric-id":1326573,"id":"Q1326573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6618b664e5e7abc8b083b4f797c8d8fba2e2b1f","datavalue":{"value":{"amount":"+0.9099006","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":"Q702093$DB315170-66ED-4DAC-8CC6-7260892090D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b68c94ca73be5de3604e39c67b127455b229ad6","datavalue":{"value":{"entity-type":"item","numeric-id":5475783,"id":"Q5475783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0ccc6ef3fcc3020b696b8cc4c527b4bb3eb875","datavalue":{"value":{"amount":"+0.90765965","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":"Q702093$8C29B2F5-228B-42BE-A058-84C2E47D9E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254b90133dfebce9d9c78c0d556e45f61da83c06","datavalue":{"value":{"entity-type":"item","numeric-id":1091387,"id":"Q1091387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffbb5f20915913f4081137b024d83922f8042f6c","datavalue":{"value":{"amount":"+0.9044473","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":"Q702093$17042CCA-161E-4C9D-A923-C75FB1EDC0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3caab9149e9e6d78e14fdc76a58d9add3e34c800","datavalue":{"value":{"entity-type":"item","numeric-id":4029601,"id":"Q4029601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65f12da7c2d55b48dded9b98c2a0ec9041d667d4","datavalue":{"value":{"amount":"+0.9017569","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":"Q702093$53848BA1-084D-494A-81F7-FA60B09A6165","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded nondeterminism of logic programs","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_nondeterminism_of_logic_programs"}}}}}