{"entities":{"Q4035698":{"pageid":6065418,"ns":120,"title":"Item:Q4035698","lastrevid":55239793,"modified":"2026-02-05T05:12:33Z","type":"item","id":"Q4035698","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176532"}},"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":"Q4035698$23A49BD3-46C5-4DDA-8490-300E3588F683","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"184d796868b8f4a8a7240a69214ead8109609339","datavalue":{"value":"0776.68103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035698$3ECC3AEF-1B29-4933-BCCB-4C8F4F04CB8E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4035698$E2359068-7F1B-4506-9128-A3AC8296E801","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"abd8d5e490ea4daf6d00f9dd2f897565e059b6cc","datavalue":{"value":{"time":"+1993-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4035698$C6E37690-88EF-480B-A52D-F3BB5790FDC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035698$2E5C192D-CD8B-4AC6-9635-E59D35A42066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035698$307663EA-2799-4BB1-A050-754BF6D50BC2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d3f916416f218d2992d43fc7acd087995ef60aa6","datavalue":{"value":"176532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4035698$B47E99F9-B751-4363-881C-24A87E0A3B3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"449da70ba17bc82bf6349f4bd8b180b9edafb731","datavalue":{"value":"logic programming with negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035698$37B6A07C-87EA-4012-8424-2BC55AACF7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea2c23285ea4b73fe89941dd1245c610af5fbadc","datavalue":{"value":"declarative semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035698$B0405A5A-6F99-4F9F-BF15-3AC39982D700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035698$207579D4-C86B-44F2-B9A8-99E376141A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"931386a80bdfe644dcffc4d8e94bffb72eb34ff5","datavalue":{"value":"SLD- resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4035698$624497B9-0150-4271-B074-301675EDB236","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":"Q4035698$5D849AAB-2D34-47E6-846C-483E1CC65547","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6246f64c1d8babd4fe6c3f44a7dd4139cc40d6","datavalue":{"value":{"entity-type":"item","numeric-id":3138702,"id":"Q3138702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1990d220440505d59bc3cd778ea1e84d8bc2c1e9","datavalue":{"value":{"amount":"+0.8559910655021667","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":"Q4035698$0A0C3D61-A31A-443F-A6FC-37E12DCD08D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b69806df4ecea839c519ab1bb574fc8bec94e88","datavalue":{"value":{"entity-type":"item","numeric-id":3356290,"id":"Q3356290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa28e67cdaf45a14d5f739586b6c9a695a248cf8","datavalue":{"value":{"amount":"+0.8459520936012268","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":"Q4035698$B33BCD19-497C-4C7A-B800-E36C52084B2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73050f254ccd9fed07e02eb56c716b164cd6dbaa","datavalue":{"value":{"entity-type":"item","numeric-id":4295814,"id":"Q4295814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3d5e2a5e4dfa22624fd376cb98d4c3f03dce47","datavalue":{"value":{"amount":"+0.8266258835792542","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":"Q4035698$6554AF78-3583-49E6-A847-DCFEE2F8500A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b254533dbc1834873bc702e1c327348b2eb041d7","datavalue":{"value":{"entity-type":"item","numeric-id":4010369,"id":"Q4010369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3d5e2a5e4dfa22624fd376cb98d4c3f03dce47","datavalue":{"value":{"amount":"+0.8266258835792542","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":"Q4035698$6E262B4B-DEB7-4C16-87B9-DB5FB94913E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"541007d2412be365e1f6a48884b590f77aaaf612","datavalue":{"value":{"entity-type":"item","numeric-id":5053008,"id":"Q5053008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3a7ac433a86aa41171ad4f06ce753e0ab64a43","datavalue":{"value":{"amount":"+0.8241986632347107","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":"Q4035698$7010F820-11DC-46A5-A6AD-5EFF1CDD52E4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4035698","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4035698"}}}}}