{"entities":{"Q4917076":{"pageid":6946657,"ns":120,"title":"Item:Q4917076","lastrevid":51704696,"modified":"2026-01-19T14:17:25Z","type":"item","id":"Q4917076","labels":{"en":{"language":"en","value":"Hybrid metric propositional neighborhood logics with interval length binders"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6158950"}},"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":"Q4917076$07C84AF2-19B4-4BA1-B491-740EDEC61A40","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e9fae57272ba755c991d754230bee100b7fea4e","datavalue":{"value":{"text":"Hybrid Metric Propositional Neighborhood Logics with Interval Length Binders","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4917076$A7D9D38A-B4C5-4335-B4BB-7915C80F8638","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a20727656bbb10278d1868799d697dfb031b614a","datavalue":{"value":"1260.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917076$B826C471-98A6-487A-A432-73851B697596","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c11537367761b3a042544f520669ef3aebcdb3a","datavalue":{"value":{"entity-type":"item","numeric-id":266856,"id":"Q266856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$F4B9D0E0-5BFF-4955-B4AB-8BDEAE596CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a66c2ec78b04e841b811e5da6e4d441ec826b5a","datavalue":{"value":{"entity-type":"item","numeric-id":266860,"id":"Q266860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$A04601B2-CCC5-4B3A-8670-34817D171BBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdeca7fa3ca61fb6bc221ab92d3afb1fb3a5ebcc","datavalue":{"value":{"entity-type":"item","numeric-id":703859,"id":"Q703859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$5DBFBF93-2F74-412C-B65C-50B22D197F8E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$A4EE8F64-3CDF-452E-9035-C3B2D26EBA73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bbadb60043d42aba50a817a1c8ceda2c9fd41cc8","datavalue":{"value":{"time":"+2013-04-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4917076$D7E91F3E-989F-4ED3-A5BE-F5281EC32E04","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917076$3DE1F981-2A84-43DD-A001-4482383B3D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917076$719B0CE5-2CE3-4AC6-99BC-DB4308BB31A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917076$CE0771F4-3E01-4708-A60E-7B65D9129C12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f847f0c3a5fbcc0ac46f743d3a31b1229778e0ec","datavalue":{"value":"6158950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917076$7D2ACAEC-BB95-44B7-B282-87822130F61F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5318dffc1cef98dc92fc8de2f97812530f75471","datavalue":{"value":"hybrid logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917076$5E8D8C28-04B5-4801-B7E3-8E28FE8DD6D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68b3494f1917834571f6517108049c2355882910","datavalue":{"value":"interval neighbourhood logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917076$33916B05-9DD3-40A3-AFEE-92B2F1F0E71C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21e24033a38847e9ba2bd61b4ea18e45a19804da","datavalue":{"value":"interval length binders","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917076$B54902C4-7DD2-4C48-9E9F-25F5E042A6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917076$03795F81-43D9-4ADE-A819-52000A06CB0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0470d7a9698e5ceba3367e54959ca52af6c7553","datavalue":{"value":"tiling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4917076$8B1E23A5-79C2-4E28-8C1A-3D05D47CA142","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"94d0995b33da701be6194285cc236e1c4652dd46","datavalue":{"value":"Q113318258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917076$9F131A02-7E5F-4B69-811B-B714A9FF7565","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"951511f823371c22a0dc91223011113d3044b6ad","datavalue":{"value":{"entity-type":"item","numeric-id":32235,"id":"Q32235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$13DB6F82-224E-4A1A-B5AB-B4D7A712F4DB","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":"Q4917076$1DE4A6CC-A305-4A57-A5B8-273111021AAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1edb179db11192c601bcbbcd8287a60dc4b50dc1","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2011.06.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q4917076$0953E0B8-6C46-479D-AC43-47D717C12DC7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"54161e7eeb69f1c7b5669ba9ac445a0cf6012176","datavalue":{"value":"W2114803784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917076$48C928BA-AB68-4DB4-8DA1-75E1C8BE6235","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8367121d54df3344ae45fb7bcd26909ca7d18f9","datavalue":{"value":{"entity-type":"item","numeric-id":64672,"id":"Q64672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$0756EAC3-B0BE-4938-9313-A35405DD616D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde425bdb4635b5f136e61bd1b39325dc9f2bac0","datavalue":{"value":{"entity-type":"item","numeric-id":2867952,"id":"Q2867952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$1FF14F5D-8FF2-4B8A-AC0E-7ADFB8E6C3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6423f8e27026b0b914aac90cb489cba91bcd534b","datavalue":{"value":{"entity-type":"item","numeric-id":5505583,"id":"Q5505583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$DF93998A-6016-4137-A650-EEA73AF63DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"145dafb2b8012f3c118efcad71beca6ce502e5bf","datavalue":{"value":{"entity-type":"item","numeric-id":2999204,"id":"Q2999204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$25C02756-4B23-4E03-ADD6-6649F4FBD21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dd3b75986adf3d838995986b41cdabbb28fb45a","datavalue":{"value":{"entity-type":"item","numeric-id":5434500,"id":"Q5434500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$A009EB30-063C-407C-96E3-594341B64046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b30cfd537665958cb1b8fbb6a82da12024a3a86a","datavalue":{"value":{"entity-type":"item","numeric-id":636267,"id":"Q636267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$36E3B9FF-7972-41D8-8C28-12C3B0ECFDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb9dcd375531af369ae4cc5063a5b38f6a61238","datavalue":{"value":{"entity-type":"item","numeric-id":3590963,"id":"Q3590963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$22E4B03A-F4B2-4F0C-9FE2-4C91494856FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"194f648d34acac0981cc46a6ebb66504bb7514a2","datavalue":{"value":{"entity-type":"item","numeric-id":5900677,"id":"Q5900677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$72D46A0B-AE33-46B3-81A7-3800374613BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5edeb87ab052a57bcd10aa45952d6d907aec50fc","datavalue":{"value":{"entity-type":"item","numeric-id":1428351,"id":"Q1428351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$C0CD66D4-A214-4AAC-B04E-08730D52AB15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$76348D3C-0F18-483E-9008-3D51CB2B7D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed226340896f6f1edb9acffcad75c449a446a3b","datavalue":{"value":{"entity-type":"item","numeric-id":5758112,"id":"Q5758112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$4C5A6401-8EAF-4831-8E2C-C507E1AB9228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc15974ccce84c558484cf7e012ed1673ef50e8d","datavalue":{"value":{"entity-type":"item","numeric-id":4302859,"id":"Q4302859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$0C428B1B-7F89-4320-ADB9-F9C8949EBC6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d2100e988b8a63592af7fdecc067054c20c220a","datavalue":{"value":{"entity-type":"item","numeric-id":3525019,"id":"Q3525019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$DE374B29-71DD-404E-ABE5-F98A5DEC5D5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f37e8ba0251a16df51f940680106a4e06358b662","datavalue":{"value":{"entity-type":"item","numeric-id":1377324,"id":"Q1377324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$74D75F91-BCED-47D4-812C-3C0885A3DA26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2deba89bc6cbf176b95792137b080c001d119ae0","datavalue":{"value":{"entity-type":"item","numeric-id":1318474,"id":"Q1318474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$0BE8ABA7-BD86-4653-BCEA-8E3187781444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e0ca385a94811def90eea29a7298e09b2931d5","datavalue":{"value":{"entity-type":"item","numeric-id":5897790,"id":"Q5897790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$CCC1D923-FB54-408A-A87F-552BD970219A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca749ed2185099fe6ff93252e3360a1034c63f","datavalue":{"value":{"entity-type":"item","numeric-id":3587451,"id":"Q3587451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$380C4656-C096-4586-8F33-8BAFA41655BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67fed2022a2db8f67a68ca07658c94cef7445938","datavalue":{"value":{"entity-type":"item","numeric-id":2842590,"id":"Q2842590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4917076$C783A80D-666A-4753-8CF1-2F0AE7AC177F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3a5f2d9245444560792db51aa3ae090b0a5d1716","datavalue":{"value":"10.1016/J.ENTCS.2011.06.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4917076$D20BA9E8-DB94-4C57-A1F1-9671D85220C7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25c2bb7fa118f5c5eb9e3bed779d68c7e6187b6b","datavalue":{"value":{"entity-type":"item","numeric-id":3177929,"id":"Q3177929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d7719d42e2cf429fcead620646de49efd93794c","datavalue":{"value":{"amount":"+0.838136613368988","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":"Q4917076$3272A03C-D65B-4A27-939E-49AD9F5A0099","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aedf9e076449ba4784ac01d163fcfd7509becb5","datavalue":{"value":{"entity-type":"item","numeric-id":2999204,"id":"Q2999204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2bf2cc491ddf622f43d6ac3a6bed156972c19ff","datavalue":{"value":{"amount":"+0.8307023644447327","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":"Q4917076$9B72669D-9C98-457D-9B61-768956D383E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65d6bd5e4e70cf2849a98f0e91aa6453c9a7360d","datavalue":{"value":{"entity-type":"item","numeric-id":636267,"id":"Q636267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"878d4637a5ca9e2ef4480b732c1ddbbccb770edc","datavalue":{"value":{"amount":"+0.8160285949707031","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":"Q4917076$0C899AB4-8C86-4072-A5DF-1C5840B29812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43889391dd4cea5135e0e90aaede9409cd021968","datavalue":{"value":{"entity-type":"item","numeric-id":329414,"id":"Q329414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a41bb22672559f6552093df1c64e3dd7e09ecd4","datavalue":{"value":{"amount":"+0.8096710443496704","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":"Q4917076$A2F3D487-695C-4C21-BA3E-4C4455EE2AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00fd21b5c067f7c4f20b7325bf62fd2eb12c8f0c","datavalue":{"value":{"entity-type":"item","numeric-id":391115,"id":"Q391115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4360755c77048dfb7d9e27e5d070a1b67eeccb","datavalue":{"value":{"amount":"+0.7923280000686646","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":"Q4917076$5C6E173B-09A8-422E-974F-D3BE0C469919","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4917076","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4917076"}}}}}