{"entities":{"Q3702512":{"pageid":5732418,"ns":120,"title":"Item:Q3702512","lastrevid":80967896,"modified":"2026-05-06T17:24:51Z","type":"item","id":"Q3702512","labels":{"en":{"language":"en","value":"Alternation and the computational complexity of logic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3928349"}},"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":"Q3702512$D3F80220-D8C9-4A72-8A02-2397C9BB271A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10bc49b53f81cba728ee89b9c1980072b214ebe8","datavalue":{"value":{"text":"Alternation and the computational complexity of logic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3702512$A3569639-3AAF-4DA0-AA27-00D7A3972ED4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b4e8ff57ab8dfa11985201000ca7a461a2c6e8c","datavalue":{"value":"0579.68030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702512$0B570BF3-EE64-4446-8A7A-FA6B84B38BFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c43e9f884b8e86062cb7413dfdbb8bd166246205","datavalue":{"value":"10.1016/0743-1066(84)90021-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702512$965BBB2D-3B42-4DAF-9E08-5090BABAD596","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdad2aaffd22bc224d58c1785de205bb2c128d89","datavalue":{"value":{"entity-type":"item","numeric-id":933427,"id":"Q933427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3702512$26A3BA9B-0D46-4B42-A700-71A23D862433","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":"Q3702512$8C150076-4D8B-4F62-A544-AB419D3F5354","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3702512$5646B69A-2811-4D83-9C5C-317BE7B556C2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702512$EB236AE6-C8C0-4052-A56E-55592FF9529F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702512$99E95883-0753-4728-B1B4-A566290838D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ee5cda90bbf6ca4c0165459d0a2862a189e39ab","datavalue":{"value":"3928349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702512$CF052577-BFAA-4E2A-B54F-AD4B3A099BC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f29a21056659ddd61d90d54babdf84724b9ceb18","datavalue":{"value":"logic program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702512$A21B3CD5-422D-47E7-957B-FBF1FABD12D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26e929741e5547c2fdb46ea48182c95544531b71","datavalue":{"value":"tree proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702512$3D5F6136-F882-4899-8C36-9C07BBEAA291","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02d4cb9949d1e0e1b52bcd330c1219b250da26ef","datavalue":{"value":"complexity measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702512$F1AF52F0-221E-449D-B186-38E41F0E1109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"114a9c1c4912cd9283eb273587d750f78575927f","datavalue":{"value":"goal-size","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702512$AD533D54-DBE3-4296-A0AD-48250670BFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aa90b1ff0982ab5d5fab48275d3f9dc7c1839ee","datavalue":{"value":"length","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702512$7EE386F5-D69E-4A61-9262-047078E8644C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd0a5d0d4cf762e7c7ba742f2943056dfb033b4f","datavalue":{"value":"depth","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702512$5E79B072-5088-4B9C-9A49-9105D2A20227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92caf16c6ea57f9885da64f74196f15c97c0ebb4","datavalue":{"value":"alternating Turing machine","type":"string"},"datatype":"string"},"type":"statement","id":"Q3702512$CC1FBF4A-14F6-42DF-91D3-C31A9920DF48","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":"Q3702512$63CBD84D-D275-4502-BBD1-BAA3864BF634","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc397d223588bbc24b984b33292f6463d2c5e8da","datavalue":{"value":"https://doi.org/10.1016/0743-1066(84)90021-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q3702512$6E5A9227-9CD8-4164-857F-81F59F8E7B68","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3749740e94ffe98e2119c93703347ed8b8c902d5","datavalue":{"value":"W2058419440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3702512$0F9E518D-E7C1-4FE4-9625-6D056D457086","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4946e53372d0ac25fac303353818fee8af6e6f55","datavalue":{"value":{"entity-type":"item","numeric-id":3030254,"id":"Q3030254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9783ec82782cadc9f90c9e9a9f13fe70eefec92","datavalue":{"value":{"amount":"+0.8857921957969666","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":"Q3702512$BBAA72EF-F860-460E-941F-F647E38958E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20286e8af150e1172ba3d53021d18495c85c7547","datavalue":{"value":{"entity-type":"item","numeric-id":6483351,"id":"Q6483351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292900f7c114b73821d533a31076dccaad0b5141","datavalue":{"value":{"amount":"+0.8105921745300293","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":"Q3702512$7B7EDA18-44E0-4CB2-9F73-E22FC99FE7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1193857eb9703a4536a05182cfe9d97a5cd1cd08","datavalue":{"value":{"entity-type":"item","numeric-id":3348391,"id":"Q3348391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6245f9991aaee95344a0620b8d9eff8e809b92f7","datavalue":{"value":{"amount":"+0.7867464423179626","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":"Q3702512$C7E426FB-5A8E-461E-98D3-E5A7D6B41BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1308761f27b35f50e290c4de592390bc8dbd85d","datavalue":{"value":{"entity-type":"item","numeric-id":2789034,"id":"Q2789034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b85159a53c54dfdec16aa9944f34fa13ecce5e6b","datavalue":{"value":{"amount":"+0.7776603698730469","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":"Q3702512$3C74DC0A-6F46-4037-80F9-4C4848B7BA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff59b64b48a90b57f8f293ab9533cb1d4908a50b","datavalue":{"value":{"entity-type":"item","numeric-id":686646,"id":"Q686646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8722b3271e9cc9c1d88e20004b8d765b0a85f9cf","datavalue":{"value":{"amount":"+0.7648250460624695","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":"Q3702512$C4BC49D9-5C9C-4870-8023-6CBA3E339680","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Alternation and the computational complexity of logic programs","badges":[]}}}}}