{"entities":{"Q1284701":{"pageid":1295451,"ns":120,"title":"Item:Q1284701","lastrevid":67445025,"modified":"2026-04-12T17:53:46Z","type":"item","id":"Q1284701","labels":{"en":{"language":"en","value":"Dijkstra-Scholten predicate calculus: Concepts and misconceptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1279213"}},"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":"Q1284701$C7442433-C1CF-4A5B-996B-9E273D255C66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2821665c24ee72c6c557ac83ad76b112e02c6af","datavalue":{"value":{"text":"Dijkstra-Scholten predicate calculus: Concepts and misconceptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1284701$49196674-F869-46DB-9271-7206F3FE74A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b99ec8a250bfc6a2dd5add6bc8af74475e838938","datavalue":{"value":"0917.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284701$0BB59B4F-6F8F-4285-B337-3B061686EFA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d62e19a613346124b535dc5562654ce3b79a967e","datavalue":{"value":{"entity-type":"item","numeric-id":1284700,"id":"Q1284700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284701$A6ED0F4D-B3BB-43E9-8B8C-5631F2F9D2E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccf0e6228bb42cc5ee8cdb809da3f851a52cf91a","datavalue":{"value":{"entity-type":"item","numeric-id":740480,"id":"Q740480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284701$C7E1A045-54D0-44F2-9194-10352DB51417","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1284701$021AEA28-BF38-40E8-B343-EA42E40EBE22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d69c372fbaaadae1aef4b27b2645ef9fab6202e","datavalue":{"value":{"time":"+1999-06-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1284701$A3F20537-ED3A-43DB-AA79-CC3427C0FC83","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b9fce475014c4b18f9c4aa8afe157674d86fb04f","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/19428","type":"string"},"datatype":"url"},"type":"statement","id":"Q1284701$806131A7-9742-48C0-A6AE-7A37DC90D67A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284701$DFA0711E-0881-46D4-9EDE-28CF1664A3E1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"472338998801c2b5801d15b75af67a68bbe9b758","datavalue":{"value":"1279213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284701$D47AB678-72F5-47F3-9975-81DFFD1453A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98ab8ce9ee8b9e68a02a1edc3d97be72e49ac9a0","datavalue":{"value":"DS predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284701$0DF6EBCD-3505-42A6-8D4B-C4B4E86C00B4","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":"Q1284701$D924472C-13B2-4614-B7F1-05AE1CF161A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fbe3d1c16e8b540fedd150ae0f2ad8df928b871","datavalue":{"value":"W2151166785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284701$CA1A943F-E491-4718-871B-B8EE6BEEFEB7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbc397822daa8211e3e2f37b741eb78e3e838c58","datavalue":{"value":"10.1007/S002360050150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284701$E6A17D63-0CD8-476B-B8EB-A5D3B7C07D12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fbf40fe6e41abe507700f2b9818bffab569481e9","datavalue":{"value":{"entity-type":"item","numeric-id":4281676,"id":"Q4281676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e75aa459559bb7b3518428fe3acba32a44ed6cc2","datavalue":{"value":{"amount":"+0.794175386428833","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":"Q1284701$2A7B1E08-04D2-4DA5-B040-278D99ED0F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07a88b0f27ee9be43ba0164aa75de7214897557","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb277f28107c624832431ffc3d660f492a94aba","datavalue":{"value":{"amount":"+0.7888756394386292","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":"Q1284701$66FD59A7-EE6C-4B9C-9886-51E7D46F40DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f7c69d8b5ed58974de588ffd2609549ec5dd400","datavalue":{"value":{"entity-type":"item","numeric-id":2945729,"id":"Q2945729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2d7102e014ee1459b52669ed987b7e34edbd4ba","datavalue":{"value":{"amount":"+0.7883390784263611","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":"Q1284701$6D862763-2D4E-4EC4-991C-AC0A360F40C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"074793fd282367856a7e352e3d6fba73d60568a3","datavalue":{"value":{"entity-type":"item","numeric-id":5957914,"id":"Q5957914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26b1bd5944d54bf494fe11429b488d3a29115536","datavalue":{"value":{"amount":"+0.7871506810188293","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":"Q1284701$3CDB5410-8A2C-453E-A721-DBE0A3B56707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c8b8e3b33a30a219ad9b0fc0f430ecbfe54d196","datavalue":{"value":{"entity-type":"item","numeric-id":4934354,"id":"Q4934354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc34102565e425e9e9e01228034c69df22c18f5e","datavalue":{"value":{"amount":"+0.7601304650306702","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":"Q1284701$7560CD3A-E988-4C1A-9771-A19F2AD862C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dijkstra-Scholten predicate calculus: Concepts and misconceptions","badges":[]}}}}}