{"entities":{"Q3339245":{"pageid":3349953,"ns":120,"title":"Item:Q3339245","lastrevid":48742285,"modified":"2026-01-05T18:29:39Z","type":"item","id":"Q3339245","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3872640"}},"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":"Q3339245$93FD1C21-1BE6-4752-BE95-774F1C167316","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17d2b75b7af9f470dd5ec504584ea2b71246403c","datavalue":{"value":"0547.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339245$263426E5-F224-4207-A581-09911B9C27BF","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":"Q3339245$A024E453-F282-44AB-ACBA-F4DDBF0A17F5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339245$DFF5D1BC-390D-4437-A6F7-03EC9EA13DD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339245$C68757AE-A5C5-4F61-BFA0-4C73A2680C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339245$AC4E6F90-694B-42E6-86CC-9348A49A594A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339245$6841143E-BF2F-4EB7-B5A7-3F05E2749D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339245$333A90D7-FCF4-4251-82DA-FD283BD91E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339245$1E6CE12A-3A2D-400A-A438-97420651AEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339245$E22DB0A8-F851-42B0-BF6D-EE26A399C5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339245$591F8125-1C81-426B-9495-AE55D128B9F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"151cfa8a1f4177e9e01349ff737a92a3d5327166","datavalue":{"value":"3872640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3339245$5DC46C27-3865-4CA7-8C42-3C2698663E0B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$1277DEC0-4A94-42E9-99E0-E252C9554A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$4ABD918F-4CC0-4675-8FAC-083D24D6BAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cbe99b06a56a772e67531db7b5d75f216e8188a","datavalue":{"value":"fixed-point theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$9A1D8311-E256-4ED9-A01B-63B36226F92C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$F0FC1704-1CCF-4C06-BF55-AD68449D1F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"731e0be234103858d8a68af08d200366ba1bc981","datavalue":{"value":"infinite computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$8A036D89-3920-4E43-BCE6-C20111EE0549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$D4020126-8461-42C0-91F7-A7AE1562EE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a8f07d0a3bfabea17b00996461606d492fcacc","datavalue":{"value":"Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$FFCB1BC0-4254-4982-BEAD-5FA5580448F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a207156d34480a45f0a8fd7c81d3ac401004296","datavalue":{"value":"answer substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$671314DE-72B3-4CAB-BA1D-0DDBC8292079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f21a279561a246b6e84f6c04c6a4446c491b5f6","datavalue":{"value":"procedural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$F9A4AFF7-CCAB-4047-8779-C2F7EA98C510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$7E261CEF-B744-46A0-9D16-D4EBFA0D6795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903e33f82dfc22825b55216318496ae384d85c47","datavalue":{"value":"closed world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$DC75679E-F69A-489E-AC91-43BC536A4140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07864078cf40ed5524112fcbbc9a818408c450bf","datavalue":{"value":"negation as failure rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$ACC73BFC-A61E-4768-9FB4-6195FD44655A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$2E9816B3-BBD7-4DCC-9F15-75231FA335BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3339245$C9C6A0DC-5477-4BDC-AF77-C25A68515A33","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93decaf3cbc0111679b95864b0e04b79a753692c","datavalue":{"value":{"entity-type":"item","numeric-id":702527,"id":"Q702527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3339245$C4154B1D-E9C2-4CC8-90C2-A6F390984E6A","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":"Q3339245$B5AEA6AD-F939-45FF-B224-491008B1380A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1263048b49fb17b0d13866395fe9dd64bd423cf1","datavalue":{"value":{"entity-type":"item","numeric-id":3134502,"id":"Q3134502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9365079612c6019274e99d9714c76ec118bed9fa","datavalue":{"value":{"amount":"+0.9075125455856324","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":"Q3339245$E99A1B13-9E0F-4BBC-BB0E-7DFA29695E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebeda66ad919da2068505ec6cb62abbf8df07469","datavalue":{"value":{"entity-type":"item","numeric-id":5905500,"id":"Q5905500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"992e3fea3d21945655cb9fda1f13aff9b47b01d9","datavalue":{"value":{"amount":"+0.9058434367179872","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":"Q3339245$CD6AD7E0-15D1-4182-9FDA-45DDC84FE7C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9adbacd20f11591f7550cc228dfe34683bac896f","datavalue":{"value":{"entity-type":"item","numeric-id":4514010,"id":"Q4514010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cff8253875c93a9b4a6999949a5cda08dec98fff","datavalue":{"value":{"amount":"+0.8672519326210022","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":"Q3339245$602F33B6-5D64-4A3D-8B72-0E4A7014E08C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f358d54a823cccaceb21d2bcccb95854e3b497f","datavalue":{"value":{"entity-type":"item","numeric-id":3807643,"id":"Q3807643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ee6d9b5a0ec04e69f6558f06ce9d80332aee4c","datavalue":{"value":{"amount":"+0.8460728526115417","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":"Q3339245$6B32C452-84C2-49A3-A70E-DD5277740ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14b51a1e4c45350288eb19da4d755c625535e47d","datavalue":{"value":{"entity-type":"item","numeric-id":3998191,"id":"Q3998191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d594718b514597d0dc3768c260a4fd556e02c7fd","datavalue":{"value":{"amount":"+0.8449554443359375","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":"Q3339245$B55853AE-9AB0-4BE8-8236-560F036DA53F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3339245","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3339245"}}}}}