{"entities":{"Q4608665":{"pageid":6638248,"ns":120,"title":"Item:Q4608665","lastrevid":58303923,"modified":"2026-04-04T15:42:37Z","type":"item","id":"Q4608665","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851935"}},"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":"Q4608665$C23B3128-3B85-4116-B1E7-80CAC0AF6CB5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8536a8403112561dbac00a60bf5194290b40d13a","datavalue":{"value":"1392.68248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608665$E466360A-0B04-4F1A-8AF1-D7B57077BBBF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608665$2A9D099D-703A-4FAA-B75F-A856618282DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ff597df2a5f4c715148e34007070147982df21d","datavalue":{"value":{"entity-type":"item","numeric-id":2008279,"id":"Q2008279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608665$C98BDB9D-4B8C-4C6D-9A41-B71D12296B81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4608665$2D7EE2A1-591D-4920-A9B6-547BC1112266","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a8a90f5d2e63f43f6882b054790767f1129f7f6","datavalue":{"value":"https://arxiv.org/abs/1606.07047","type":"string"},"datatype":"url"},"type":"statement","id":"Q4608665$77DB15C8-65F8-4468-BD73-E755ECEDBF86","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608665$75323BC9-4F1F-4FE4-AE83-A9E440C5C4E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608665$F35CB268-3D0F-444D-926A-75D76BAB0144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608665$99B52CC6-D0E0-4801-9288-C533F0F4FAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608665$FC4ED6BB-B486-4D1F-B8F4-58A183A5E4EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56fa2a4851922bbfcac2b5a6582a3c49207817cc","datavalue":{"value":"6851935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608665$DEF093D5-F31C-4449-8FC3-241C10F135FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608665$1E5A6D39-CC2F-4B39-B1BE-C2D0150E4334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608665$97A6BEAC-6C6E-4C95-B15E-CB611B523B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608665$77EBB7F8-4520-496F-9A8C-838BFAC7E8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608665$855218A9-3D86-4AAB-A4B5-F3E2008AE8A4","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":"Q4608665$937D987D-41A3-4388-A40C-3F8E7A08EDE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"541a6dce0762cd7d908584d36570cf426b76bcd8","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608665$DE032AF4-BEAE-453A-BA4D-0D819F3C8EBD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a0685517a901515790f2d0dc5c7fd370ecbadf","datavalue":{"value":{"entity-type":"item","numeric-id":5425746,"id":"Q5425746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721aa9017f4f4da50bec149f96145cd540dcc779","datavalue":{"value":{"amount":"+0.809404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608665$50AEDF71-A3CC-488F-BB2D-8A14D77CB69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4acfa99172160f7ea35e10e83250a1e63368c8c2","datavalue":{"value":{"entity-type":"item","numeric-id":2708960,"id":"Q2708960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"721aa9017f4f4da50bec149f96145cd540dcc779","datavalue":{"value":{"amount":"+0.809404","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608665$C48FC3CD-69C0-4CE9-8BF2-3DE898717DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fef505639c25aa14535a6d4144afc8b1686b755","datavalue":{"value":{"entity-type":"item","numeric-id":1774565,"id":"Q1774565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ffbd242b077bd94795b4e1f696064354759879","datavalue":{"value":{"amount":"+0.801021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608665$8C93E51A-8CC7-4CA9-876B-B1AE2F388C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d36dce0343775de8b1b4e3c772d9cc4b627fb15e","datavalue":{"value":{"entity-type":"item","numeric-id":6485910,"id":"Q6485910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6c41ee45b9b07cc52024dbd7c0ca1714a7b3b2","datavalue":{"value":{"amount":"+0.79995906","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608665$85373A42-F2F2-4569-9D0F-DA1796C54B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddc4a0bc320f52ca86174d1f7e7034db633f6ee0","datavalue":{"value":{"entity-type":"item","numeric-id":287272,"id":"Q287272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bde26425b4d80238a400768b2747526641fc71a","datavalue":{"value":{"amount":"+0.79800874","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608665$017D4895-789F-48FB-9E44-E6951DAC92E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dd6441ed8651f4837fa5a8c5fee11f790855ace","datavalue":{"value":{"entity-type":"item","numeric-id":2303878,"id":"Q2303878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4e9a43e75fbe8118d722932a4da45f75bc5efe","datavalue":{"value":{"amount":"+0.7974059","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608665$40513F38-D10E-4DEA-BA64-E506D6E70955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0586233a3388fcfa96c1232b95ac98ccd30746d","datavalue":{"value":{"entity-type":"item","numeric-id":2894331,"id":"Q2894331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9edafe3ede138deda38eec3dbae5e3993aef34e6","datavalue":{"value":{"amount":"+0.79567057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608665$49674613-89ED-48DE-A6FB-4F9F72E63928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c80848641ffd593195b0f83574a020cefef995e7","datavalue":{"value":{"entity-type":"item","numeric-id":2147207,"id":"Q2147207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0a0cda10a2c9f965f8de97941693a9a0398e52","datavalue":{"value":{"amount":"+0.7859832","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608665$280CCE0B-C100-461E-8B58-476354541048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16d589df4e601624b65af9d073a69294b7af8f32","datavalue":{"value":{"entity-type":"item","numeric-id":6487323,"id":"Q6487323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7baaf0e2fbffc7930146429973aa24812ab6e932","datavalue":{"value":{"amount":"+0.7837355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4608665$327DC77C-47D4-453D-9961-DD0A164C7234","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608665","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608665"}}}}}