{"entities":{"Q3992908":{"pageid":6022746,"ns":120,"title":"Item:Q3992908","lastrevid":55137721,"modified":"2026-02-04T00:46:30Z","type":"item","id":"Q3992908","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 43398"}},"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":"Q3992908$9C358B68-C1BD-4D6F-A512-B991E31A9ED9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"766430d753f434d1c74475e678867f8c40e147bf","datavalue":{"value":"0668.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992908$D9DD5582-ECF1-4FCA-BBA1-28B313F0B854","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7883d6b4a608e309b16b988a97013f465b2e60b3","datavalue":{"value":{"time":"+1992-09-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":"Q3992908$E6EBE167-FC02-44F6-BE72-A6D3EF386880","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992908$A4FA0F14-8EB3-414F-90C6-9633EC11AA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992908$44591B1D-53BA-42E2-A96D-0C8520781042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992908$1FC673DA-B556-4C32-B06A-EB810B6A2846","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992908$245CA0BB-DC11-45EF-9D24-31A78EBD1357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992908$F2A4C4C6-DE8E-408F-B750-EE218A7C750B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992908$EAA07FE1-1DFC-4482-A5B1-AB14F94059A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992908$3F198764-ECE6-43BC-9D00-630F1F5F4950","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992908$6C1F6088-BAC9-4128-A83F-FFEC8D03B2A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a888e8fead8497f39360e7aa5a45197e67c73d6","datavalue":{"value":"43398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3992908$7AA2BA5B-9BA9-4A3C-9D7A-2DA219092950","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$EF17096F-0520-4CB5-A7F0-80191F6682B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$EDEF0F68-1306-47EF-A532-DFD0543ECDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cbe99b06a56a772e67531db7b5d75f216e8188a","datavalue":{"value":"fixed-point theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$3BE4436E-B5FC-4832-B8F9-62F0C47C4F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$C647AC97-BFA0-4CD3-AFA1-A3AD23D01E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"731e0be234103858d8a68af08d200366ba1bc981","datavalue":{"value":"infinite computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$67ECE9BF-4724-4662-8C2D-5305B98236A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$59960C9A-583F-45AD-8573-39E2A450BF26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a8f07d0a3bfabea17b00996461606d492fcacc","datavalue":{"value":"Herbrand model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$8465FD9A-DECD-43B5-BF49-4183C31F581C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a207156d34480a45f0a8fd7c81d3ac401004296","datavalue":{"value":"answer substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$EB7B65B6-24EB-446B-8068-568CAB8A4822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f21a279561a246b6e84f6c04c6a4446c491b5f6","datavalue":{"value":"procedural semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$44CAB0B5-7B5E-459F-9B5D-212E20D4E077","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c370f08705d948cbe8326531bf5f5bb6a470bf8","datavalue":{"value":"SLD-resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$8DCCFB50-4C27-488E-A774-E951BEDDD143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"903e33f82dfc22825b55216318496ae384d85c47","datavalue":{"value":"closed world assumption","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$3524F9F0-A14C-4E91-B583-4E1421C618C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07864078cf40ed5524112fcbbc9a818408c450bf","datavalue":{"value":"negation as failure rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$D21EC687-6E19-49E7-BFB0-AF5C28D928BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$05CCD11D-C7A6-4F84-A28C-C654DDB489CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3992908$26B19DC9-17CF-4967-ABF5-A785D90BC7CD","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":"Q3992908$989E4B6C-0AE3-4145-A4B3-B63F79A515F5","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":"Q3992908$F7B8E80F-CB80-436E-A042-423621AF425D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3992908","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3992908"}}}}}