{"entities":{"Q2287094":{"pageid":2297837,"ns":120,"title":"Item:Q2287094","lastrevid":53644727,"modified":"2026-01-25T11:57:44Z","type":"item","id":"Q2287094","labels":{"en":{"language":"en","value":"A decidable logic for tree data-structures with measurements"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157052"}},"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":"Q2287094$27D31F9F-0C28-4128-919A-06D8298B8F71","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f151e99920b4fc1797fa5a4397283ced698feb72","datavalue":{"value":{"text":"A decidable logic for tree data-structures with measurements","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2287094$FC660CB6-5E2C-41EF-91E4-713633862E4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0451cac62fdca6f6d9811f6dafe3506debd3a731","datavalue":{"value":"10.1007/978-3-030-11245-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287094$A19386FD-B234-400A-97A5-54275295CC66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6814453d9688f9150912c1688f6069baeb94e1a","datavalue":{"value":{"entity-type":"item","numeric-id":2287093,"id":"Q2287093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287094$C6DD1BD3-4F2E-4810-AFBE-42EFC73AE237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6f3966d0a9c82af3914599bda63b8322f83680a","datavalue":{"value":{"entity-type":"item","numeric-id":702535,"id":"Q702535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2287094$598B50F9-9E45-4F93-916D-ADCE45470353","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"05e303adb2b0a1f1bcfef4359b3361358b8f766d","datavalue":{"value":{"time":"+2020-01-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2287094$DB7F08B5-9619-4680-B18E-AB41B49B3200","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287094$B8314CCD-B5E5-460B-8AAF-9787847FD1C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e65dcd332ca0c108a9064b7b2a3470da70cc0149","datavalue":{"value":"7157052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287094$84E5D4FF-0EF8-4F48-A1BE-E6D364560A79","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":"Q2287094$AA832CD3-E207-4D19-950E-712876346F4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bdbd0cf02fadf867d0b1bf5e2249d3e6d8597bc2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-11245-5_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q2287094$2EC018C2-B402-410B-BBC1-CB40B0540E59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c96a98da0fcf237b005c83f89047e822a8237067","datavalue":{"value":"W2908766690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2287094$BCFA09E3-31F3-4EDC-A4E2-73A343E17F17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24ad6160359367d315465542a8055f597ea93122","datavalue":{"value":{"entity-type":"item","numeric-id":2942864,"id":"Q2942864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9622147b817de57373eb056bb6a62c7c243db22","datavalue":{"value":{"amount":"+0.8090413212776184","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":"Q2287094$31FADD13-3288-4C26-ACB5-D3EAE0216DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad1c9b80880acecb2c4dbb7d9e279f487fac23fe","datavalue":{"value":{"entity-type":"item","numeric-id":5200043,"id":"Q5200043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35043dc42a47909d09b78ab12f1d0272e32e0cfb","datavalue":{"value":{"amount":"+0.7910029292106628","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":"Q2287094$F522783E-0F97-4258-909B-CDE3CB15D33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e9615077ddc5215986a1a517ba887b2cae7b29","datavalue":{"value":{"entity-type":"item","numeric-id":2405271,"id":"Q2405271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2844fbcce980bcef9050a50eb76748bff7a750e5","datavalue":{"value":{"amount":"+0.7543121576309204","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":"Q2287094$11534C03-C2A6-40EE-AF86-D4810B27DB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"980b5c740ef038898b7f06221af249c3e1e626c8","datavalue":{"value":{"entity-type":"item","numeric-id":3367666,"id":"Q3367666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbfc5d533d0c0c6e89097128c4c89a2d7fbef48c","datavalue":{"value":{"amount":"+0.7532087564468384","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":"Q2287094$060787EC-2167-40CF-B113-57A4A3301630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a58a08463d10a6ff53aaac2336924a78fb3c14f","datavalue":{"value":{"entity-type":"item","numeric-id":4928426,"id":"Q4928426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96edce7b47d9f93c156468a7dda8cf93bd6660c8","datavalue":{"value":{"amount":"+0.7513669729232788","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":"Q2287094$9ECDC7FC-B29F-4CFA-84D8-29787D276265","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2287094","badges":[]}}}}}