{"entities":{"Q3010345":{"pageid":3021069,"ns":120,"title":"Item:Q3010345","lastrevid":51283808,"modified":"2026-01-17T14:35:28Z","type":"item","id":"Q3010345","labels":{"en":{"language":"en","value":"Logic programming of the displacement calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5916690"}},"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":"Q3010345$299ADDDD-85DB-4497-8646-4DC989DFB56A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9fde85b5bc73bc142851bf61b59e194b3cef006b","datavalue":{"value":{"text":"Logic Programming of the Displacement Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3010345$0AE46A56-5799-48FD-A014-111F670FC206","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6ed473e9c0dcd11fe410232c82f4501a2de260e6","datavalue":{"value":"1333.03099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010345$F20D6011-4884-4BEE-B63C-5814C891B2ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6ce0bf4f4754f230c109327b236c98b874ce5df0","datavalue":{"value":"10.1007/978-3-642-22221-4_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010345$B5D27988-5A06-46EA-A372-A588FBC20B58","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fdf87fb982964371cbc6b176aa80689874696360","datavalue":{"value":{"entity-type":"item","numeric-id":386038,"id":"Q386038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010345$B714994B-42B5-419B-93A3-43A92629D12A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2f7df35b5207f5cdd4837c7f318bff65c83b389","datavalue":{"value":{"entity-type":"item","numeric-id":3010331,"id":"Q3010331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3010345$97868EBD-95D3-4BC7-8CC8-869897CD3293","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fd5c974ae982856259c10daa0aea2556c9e24f8d","datavalue":{"value":{"time":"+2011-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3010345$4DA45D8D-3A25-4B34-9AFE-5E9BC87E501D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010345$9B55712E-69A2-4EFE-A71A-28A15C0F377F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010345$D08FADA6-7797-461A-93AF-C71A3BE39968","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"158b64d08ac9328c058e4747c1acb04631857342","datavalue":{"value":"5916690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010345$F1F18033-290F-4125-B03B-ECDE5C62BEBC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f627a86ccb784f9e8e405704522410b939bd945c","datavalue":{"value":"categorial grammar","type":"string"},"datatype":"string"},"type":"statement","id":"Q3010345$3F7C747C-008C-4750-AB86-0A4DA10A0A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e0c64df3c95abee825fad74fc053780cd90a99a","datavalue":{"value":"discontinuity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3010345$93E8E7C6-0132-4F90-B3AE-F0841A29AE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3010345$A5EA9D3E-FFC9-4D8D-B2C8-F182E4530126","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bf3784c9429ebbc256ae695c455118a22f3928c","datavalue":{"value":"parsing as deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3010345$6DD3F560-2217-4633-87CD-DAF048129811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3010345$96F0BA94-929E-4EB9-B0AB-30279A454395","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":"Q3010345$BD14FDE4-E2F3-4E76-B3DB-4AD59A2276B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8eccf3d4e00420407a5cd705dd8de9a8bc3b791c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22221-4_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3010345$5FCCD418-598D-45C5-89EB-FC6F8315CB3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9cc6a5077b2fed5278af3b3ba50bf2a551dc6719","datavalue":{"value":"W3471185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3010345$5A429C4B-2235-497F-8F47-5854098A1D3E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4720bfe732394849302097e176c1c8022ddf970","datavalue":{"value":{"entity-type":"item","numeric-id":2429994,"id":"Q2429994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4ae504eb3e684567888060abb8a97162bc1d17e","datavalue":{"value":{"amount":"+0.8650293350219727","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":"Q3010345$D568E39F-3404-496E-B9DF-A2FAF87368EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ea520fd46034377f1089fef7dba8da9267f8184","datavalue":{"value":{"entity-type":"item","numeric-id":5414972,"id":"Q5414972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55ee056664ae41f614319f4613dc2353af069a31","datavalue":{"value":{"amount":"+0.8314739465713501","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":"Q3010345$58C5AF17-B5AF-4E3F-AC1B-55098351003F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9bbd6a19844d585e92e6dc79599fcb8e37c83b","datavalue":{"value":{"entity-type":"item","numeric-id":2835060,"id":"Q2835060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50254c84d9be4977e17bfc20c5f2d7cc599f8df9","datavalue":{"value":{"amount":"+0.8159921765327454","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":"Q3010345$06C9726C-D139-4995-960A-AB3F162FCE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88cb3878869e2ef7dcb640e90c592497fabc08dd","datavalue":{"value":{"entity-type":"item","numeric-id":2425322,"id":"Q2425322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc33dd67e4095a0635b60b43132b0d73263f36b3","datavalue":{"value":{"amount":"+0.8112199306488037","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":"Q3010345$4FD6E682-399A-4B5F-B062-BA7124D73204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc4ce1744717e7adcaceff90a78c71bec84edeeb","datavalue":{"value":{"entity-type":"item","numeric-id":386040,"id":"Q386040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f89e8b6ecfcb2790cc5b60046380718dcd206c2c","datavalue":{"value":{"amount":"+0.8103165626525879","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":"Q3010345$92B2E3B0-6707-4179-B06C-8E17CA1E65EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3010345","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3010345"}}}}}