{"entities":{"Q3318096":{"pageid":3328804,"ns":120,"title":"Item:Q3318096","lastrevid":48687217,"modified":"2026-01-05T15:00:59Z","type":"item","id":"Q3318096","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3848592"}},"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":"Q3318096$EE288485-893B-4ED8-9B5E-803917AA1EA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a7bdb813be8613bf6cadd3c2cb7d774be2749bd","datavalue":{"value":"0534.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318096$D6682FA5-F2A3-4F69-8917-5CC54484EC73","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2eb63b20d64c32d1c242efa8869e2c9d8345679","datavalue":{"value":{"entity-type":"item","numeric-id":688573,"id":"Q688573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3318096$9D3394AD-BD91-4DF8-81E5-F1B72DBC86F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1dc887fe48915953c46a830e1bd31614664eea0f","datavalue":{"value":{"entity-type":"item","numeric-id":688574,"id":"Q688574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3318096$18BE2D3D-A3E0-469F-BE87-F95DB3DA75A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-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":"Q3318096$85B8AA33-4E54-46D6-814A-A4D627F8BFB5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318096$4A486912-3565-4A29-B590-50875788549D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318096$53F3F505-9867-419F-A69C-36FF07D9C65A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318096$F073A0DD-F11A-459B-98CF-E5F96BC9C2FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b8923c4c72277aa3b6f90d0422c157fa31c7de0","datavalue":{"value":"3848592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3318096$61B23C7A-15A4-4BDA-A4FF-43528D9C6230","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318096$62530AE0-8E16-4E16-BC94-38C1787BCCA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b85bc0e0e9abc35530d57f3e15019a4b6d90b6ea","datavalue":{"value":"3-valued logic, Herbrand interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318096$2448D8D7-0DE4-4B2F-BC9F-207938E66779","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4dad990f373053ef6a33775a562eda48d27a305","datavalue":{"value":"least fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318096$CBD8AE6D-BEE3-4889-BB5E-567586AFB85D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ed89ef274f4564cf53df5630125d11a8a341200","datavalue":{"value":"Logic Programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3318096$DD615049-C73D-437F-837D-1A6393F7E3BC","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":"Q3318096$31AB5AB1-8511-41F3-8964-5EE3A858C9AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84b3770f42a642f691b24b25c75f81b096e8b0ea","datavalue":{"value":{"entity-type":"item","numeric-id":1069694,"id":"Q1069694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c527e9d12eb46a55b586b835b33263fd015a05d0","datavalue":{"value":{"amount":"+0.8609355092048645","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":"Q3318096$6F4911F7-3ABE-4CB6-844D-223647EDCD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489c2f39a1831141b4f06404278419f93eb393ed","datavalue":{"value":{"entity-type":"item","numeric-id":3718131,"id":"Q3718131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ff046374f9d282009d6f9fcd14d1e9a2bf2b12d","datavalue":{"value":{"amount":"+0.8222078680992126","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":"Q3318096$2818C529-9C0D-434A-BE24-58FEEF69B478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5db0746721361a73e2ffa4e95b12e802b993232e","datavalue":{"value":{"entity-type":"item","numeric-id":1605173,"id":"Q1605173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb63a666b94557c2c6f63678bf7f1299e14ef289","datavalue":{"value":{"amount":"+0.811245858669281","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":"Q3318096$15F3FE75-57FB-435D-B908-DE434003792E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4139505c96494b7e9b8a504dcbed41dbbaa17496","datavalue":{"value":{"entity-type":"item","numeric-id":4287495,"id":"Q4287495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b76a228c887e174e61bc3ffc900e01cf9d320d6","datavalue":{"value":{"amount":"+0.8037505149841309","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":"Q3318096$C7139E3E-0294-4FCC-8E32-239D2D082897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef16feaca9a56ac73655cf074568cc2f37975ccb","datavalue":{"value":{"entity-type":"item","numeric-id":1183439,"id":"Q1183439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"427b469381cc2a80a908db95f135efd4b9acf713","datavalue":{"value":{"amount":"+0.8010541200637817","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":"Q3318096$4FD1DE3E-5209-4EC3-9EB9-4495B0092572","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3318096","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3318096"}}}}}