{"entities":{"Q4036585":{"pageid":6066303,"ns":120,"title":"Item:Q4036585","lastrevid":55241227,"modified":"2026-02-05T05:35:06Z","type":"item","id":"Q4036585","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 176755"}},"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":"Q4036585$8EC88A6C-7490-443D-8C78-10C20D5EA632","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"510dbc2aed403e1cec2b4b4b9f95f88d88e74047","datavalue":{"value":"0789.68125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036585$FC4A97B5-F4A7-4ADC-AC5D-2406E6A96033","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036585$37C029B8-487F-4B81-B39D-02E9A881C91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b26cd3ce2ca6a508af647c0b8ee8a10745379af0","datavalue":{"value":{"entity-type":"item","numeric-id":235600,"id":"Q235600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4036585$B265DAA2-F592-48AB-A984-CF2E0322B475","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":"Q4036585$FB168175-8B9C-4877-8DE8-16CB5B226129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036585$E809CE9E-BB8A-4C30-BBE1-10BF545251A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"23ceee6d3c7c93830578b552513a944677a835cb","datavalue":{"value":"03F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036585$161E160B-627F-4496-9400-0949A29803BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036585$CEC8D1D8-E7DF-409A-8423-2E3FE70311A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036585$DCD8BAD9-5EF1-4AA8-8AF6-5CEE36197680","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ffef386a8a919b5a29832b5decb3313d9374d86","datavalue":{"value":"176755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4036585$479318C7-FB58-4889-A8D9-74FC9AA0EB0E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036585$28D4C73B-2B47-4027-9672-C880056AE42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e3cf9bca78e19102e6a3c7dfa3a53aed9896da","datavalue":{"value":"ordered resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036585$B4FDBA21-B7D2-4ECD-ADB3-62351D53111E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f84bfa4d35417b90f2a3d3973763cb89a42b0a1","datavalue":{"value":"paramodulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036585$1A9967DC-EC72-4309-878B-8F5DCA1CFA2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5381db0df291c688931905172e368adf2adb83c6","datavalue":{"value":"rewrite orderings on terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036585$DC0FA4FB-F1CD-4E57-93DC-374D63DA6580","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f277ac677871c3cf754fcca11545491d673ba2","datavalue":{"value":"solving ordering constraints between terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036585$0B955810-B52F-4B6C-AB68-F06DDB4953AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2908c724004a700deb3c29a1a638d52596e0836d","datavalue":{"value":"constrained logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036585$BEAFFEE3-E777-484D-8149-21D53F78920D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f976bf826de3b899f73b2f389c1193e0a32f8a0d","datavalue":{"value":"multiset path ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036585$DC766216-D4A0-47D8-9756-99865F8C7F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556d07078d8a489ce76b0137cf03ab1710ae0223","datavalue":{"value":"recursive path ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4036585$5079CDB3-5416-4981-83B1-3BC74F27321B","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":"Q4036585$EACD9C07-0B5D-442E-8459-5853DEA9DCA7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b90152383a36e8bc6576cf3eacb06fc6bff521","datavalue":{"value":{"entity-type":"item","numeric-id":1400710,"id":"Q1400710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00be80fb5ac6625ed9e2ec74ad75bb0b25afb3a4","datavalue":{"value":{"amount":"+0.7987561225891113","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":"Q4036585$A2100A62-2094-422F-9D87-1DA901ED0483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82c1c955aa09a454aad3b7822ac2b797f0973045","datavalue":{"value":{"entity-type":"item","numeric-id":5096318,"id":"Q5096318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30679847cade72fca4e8129a87418d4ff31e1431","datavalue":{"value":{"amount":"+0.7937617897987366","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":"Q4036585$34185386-3B00-409D-91EA-A44CAD0C6A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90876a4dccaf3458c2fc1c0199e90fd643a98046","datavalue":{"value":{"entity-type":"item","numeric-id":2956685,"id":"Q2956685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dff3ff8936458e642af7d16c696efab4404ba68","datavalue":{"value":{"amount":"+0.7861067056655884","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":"Q4036585$A414A3ED-8DB5-4C45-80DC-E5421FC129A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b8bfc54e5235d572616d041896d5a5f2031b191","datavalue":{"value":{"entity-type":"item","numeric-id":685481,"id":"Q685481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4de16758056b6c3fc26b25ee218cabcd4316c978","datavalue":{"value":{"amount":"+0.7844577431678772","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":"Q4036585$A74526CC-7E94-4B72-AAF2-C762492BE916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d3e37d254662258bf38cc4e684970c369ddbc9a","datavalue":{"value":{"entity-type":"item","numeric-id":5055810,"id":"Q5055810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cc074f893b9763a274c25492577eb45f85a6d47","datavalue":{"value":{"amount":"+0.7813724875450134","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":"Q4036585$5338400B-A5DF-4FB4-8D5C-3749CEE019C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4036585","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4036585"}}}}}