{"entities":{"Q4928429":{"pageid":6958011,"ns":120,"title":"Item:Q4928429","lastrevid":51744692,"modified":"2026-01-19T19:37:21Z","type":"item","id":"Q4928429","labels":{"en":{"language":"en","value":"A proof procedure for hybrid logic with binders, transitivity and relation hierarchies"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176201"}},"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":"Q4928429$E441A20C-6F43-4B03-AA39-D7ED1320148E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00d671d69157ba3db1a0716c7c83fe5be53484f4","datavalue":{"value":{"text":"A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928429$E25E7EE9-A2BF-40B8-9BD5-8F68128D34F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b69babb6e4cc3aecdafa9e1d58c45661f8c96d70","datavalue":{"value":"1381.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928429$427BF081-5D7D-4E99-A7CD-3428B5365B21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9df2880eb907cb29b985b86376667bc1cd125c49","datavalue":{"value":"10.1007/978-3-642-38574-2_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928429$69CB2C57-4721-49EF-812E-5D6A01CEA131","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59e85c5db1a6961ef0897daa8abccf0b647303a8","datavalue":{"value":{"entity-type":"item","numeric-id":229749,"id":"Q229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928429$F0E66785-3B7B-47FA-B857-75285C712ACF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928429$F7A7EE16-74F1-4A82-A075-FA06BDF3566B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4928429$96610927-E9B4-4C19-845F-1F7B5499519A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928429$6E2996CD-20F2-4E72-9E1E-486967E5ED23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928429$736FCF4E-6484-4088-BBE7-32822FFD35FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928429$EE510326-8496-49EF-A3AE-066201FAF4DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9edf95641e454f2d2416632152f97d1ff7119b0f","datavalue":{"value":"6176201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928429$FA45E013-671E-494E-908B-5C8A7AC5C451","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":"Q4928429$BAF5F582-C24E-4181-AB3D-0DBDE8C9D6B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cab121b212b19afb40af2ed70a6729cdb58f3f24","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928429$BAA2B5C3-1D99-4E2F-A4B4-B12767585A7A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"545cf0e7ee2de4199ea3f84dbd580f9951c11952","datavalue":{"value":"W1496861770","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928429$ADD55918-33F9-4567-BFA5-12C6598AAA5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fce4c0521f9ac25cd3ded019b8d5e7877213441","datavalue":{"value":{"entity-type":"item","numeric-id":2303237,"id":"Q2303237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98ccd7346e23a12c48f4e154a77043cde89e7021","datavalue":{"value":{"amount":"+0.841132402420044","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":"Q4928429$256EA610-6E52-4B0D-9F36-48A2A50B3B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afb2841afa79a632873b88f97fa8d010503672b","datavalue":{"value":{"entity-type":"item","numeric-id":2351423,"id":"Q2351423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b7b927388c1e8de1570c34beaa15146aab0e683","datavalue":{"value":{"amount":"+0.8332502245903015","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":"Q4928429$19F7D262-D988-4F99-B526-AAAD3310ADA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ac70c152169f0947abd4ded9c44fcd545c9e8c3","datavalue":{"value":{"entity-type":"item","numeric-id":2351166,"id":"Q2351166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2291613a4b4b83de9f0a4d39b265a74cb8b85462","datavalue":{"value":{"amount":"+0.822500467300415","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":"Q4928429$915A24D1-205E-4C97-8214-853F0F3EA4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3ecc38b4b9905f225674d8f5ddcd4c491037145","datavalue":{"value":{"entity-type":"item","numeric-id":3010363,"id":"Q3010363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"955c448d255da6273fda5a29e247b9a4a5cc01f5","datavalue":{"value":{"amount":"+0.7923362851142883","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":"Q4928429$88CAC852-4861-4A15-A89C-E02F03D29082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"576167e7b715cd69728567c58c913537565117b6","datavalue":{"value":{"entity-type":"item","numeric-id":4982329,"id":"Q4982329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f774196ef56ed840f419c679cc120ea80cde67","datavalue":{"value":{"amount":"+0.7866232991218567","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":"Q4928429$B2827515-3F77-4757-814B-C71D75A6D80D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928429","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928429"}}}}}