{"entities":{"Q5955786":{"pageid":8132588,"ns":120,"title":"Item:Q5955786","lastrevid":47744086,"modified":"2026-01-02T14:16:57Z","type":"item","id":"Q5955786","labels":{"en":{"language":"en","value":"A real-time interval logic and its decision procedure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1706669"}},"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":"Q5955786$174FE35D-5CD4-4BC6-BF0E-1B5B63891CA1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"93f99f7bb959c43384874aeac597b0a88466e017","datavalue":{"value":{"text":"A real-time interval logic and its decision procedure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5955786$6A633083-0B82-4D2C-88C3-E60BC5E1E4CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"03398515e170ed0ec70b276319d9b4a907a1c839","datavalue":{"value":"1009.68517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955786$DF98ADC4-E731-4747-99A4-863D6921F89F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"32b71c2ea1b117913820a31fa0bf52428b1676ee","datavalue":{"value":"10.1007/BF02745518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955786$BEB85D7E-BA9B-4316-A809-EA3C5281C389","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e7a92a96e6148fe777c586a5ea92900cd9ce610","datavalue":{"value":{"entity-type":"item","numeric-id":230068,"id":"Q230068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$3C32C452-3C2A-4D54-92CD-B94C6309B22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edc8169c20ddf41957d5c220b42f64b8df4ae420","datavalue":{"value":{"entity-type":"item","numeric-id":230069,"id":"Q230069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$719CBA11-7FF9-4078-8031-50E9547B421F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a87ca01b05a9850d3b2b81c816518f63acf59d5","datavalue":{"value":{"entity-type":"item","numeric-id":816725,"id":"Q816725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$43818621-33B9-4D08-BE47-174D5AE191DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed149779f2df5d1dc5785fc35442c97f7e3972d","datavalue":{"value":{"entity-type":"item","numeric-id":816726,"id":"Q816726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$3E896920-D582-4C4E-BDBB-0862B1A71FC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d340a66f8ce9de4f2950f868f173aeaa7bc15992","datavalue":{"value":{"entity-type":"item","numeric-id":230072,"id":"Q230072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$17327646-C27D-4AA7-A4FC-17314C82B0C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1a947b5002a2baceed42c066548d81c4b38b3fdc","datavalue":{"value":{"entity-type":"item","numeric-id":229978,"id":"Q229978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$7271B5F7-1904-4D30-89BE-73E7267A4C28","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53cf98f1180bc6cc83969e8a66733f9be7d258d","datavalue":{"value":{"time":"+2002-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5955786$21409334-0EEF-465A-8BBE-E5013F40C627","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955786$82B5EED3-1941-4D59-B9E4-6BE21853DE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955786$6D91428B-09F5-4BAC-A3D5-8AB25AD5E3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955786$DF8CAFE0-A154-4CF1-9CDD-F8CCE7A32B67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955786$DCEC4749-6D31-4765-B3FC-A95C53535351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955786$1E20EEF5-DA89-44E3-80FD-298A7DA353CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"783649ed0e96edfe0dd51c78712c9860c59cb9be","datavalue":{"value":"1706669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955786$EC3060A8-4D8F-414F-85FC-7059AE8D6EDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1055f08d78975e7f38b0bafec3116981e6384119","datavalue":{"value":"real-time future interval logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955786$98A07A1D-E6CF-4A5B-B7D9-9862EB719448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4078c6697b24489cf7b10b6ce43c5a1b067c7f1","datavalue":{"value":"interval modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q5955786$EB71EC68-FD93-4E19-A3C9-4F74DAD68A38","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":"Q5955786$C8F293C8-DA1D-49A2-B409-71ED429D3B8C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"10ce5786065f5ca83a36cb19d0817ab0cf0d73f0","datavalue":{"value":{"entity-type":"item","numeric-id":4038702,"id":"Q4038702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$8A3EBE5F-015E-446C-BF3C-FACC0CAE0BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be00c63685f57348b9e88ace758aea96980b1481","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$629066B9-B70C-4F88-BC5B-11024B3919B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476b053757dfd493b160f0bd386b81fa8778d445","datavalue":{"value":{"entity-type":"item","numeric-id":4230338,"id":"Q4230338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$1B1F4084-DAC3-40C1-B802-DA44FF971E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c01797238679efe6e5fb4fb6f8074de29bf54dd","datavalue":{"value":{"entity-type":"item","numeric-id":5255815,"id":"Q5255815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$1BB4C0B5-EEB8-489F-B1C4-7C2CE1F62FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8659110e04f7a4cb2b8e1a490ddd77e99f1484","datavalue":{"value":{"entity-type":"item","numeric-id":1891141,"id":"Q1891141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$74F1E7CA-ACD8-4414-A823-BC22E1D75EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d139b83b95572def71b75a1df76dc5855dcccdc","datavalue":{"value":{"entity-type":"item","numeric-id":5248530,"id":"Q5248530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$CB97665D-190D-4E17-95EC-D7A677F8B547","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":"Q5955786$57147123-CD2F-4604-8B3B-F2BB50F18A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fb24b5ef13aa9924706ad086879bb014e8a0fc2","datavalue":{"value":{"entity-type":"item","numeric-id":4281508,"id":"Q4281508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$A3BDF1C6-57BB-4888-8432-26B736469C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd78a88a9ec552f6183e716a41af49d32c8db60d","datavalue":{"value":{"entity-type":"item","numeric-id":4518444,"id":"Q4518444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$950316A2-630C-4BB9-886A-D1AB087BA843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1f86e355662baa4d9f9fd9a0faea2fe6a1b817d","datavalue":{"value":{"entity-type":"item","numeric-id":4037378,"id":"Q4037378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$02E06083-320F-4409-8974-7C8D68DD7DC1","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":"Q5955786$7FD2BB76-1170-495B-B9E9-DEE76BD18BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfa05c4d62a01d518c15ad58d1f851be8ddc90c","datavalue":{"value":{"entity-type":"item","numeric-id":3318104,"id":"Q3318104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$D12A06C6-B0D3-4695-94E2-309EB2503FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"755b3d4e456c3c901d8ae84d31c7b6234072f788","datavalue":{"value":{"entity-type":"item","numeric-id":3816057,"id":"Q3816057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$C4F3B096-9309-4C3E-94B8-8DDCA9EA6471","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224fe5205d72f8b7bf3d1117c14acd86046e588d","datavalue":{"value":{"entity-type":"item","numeric-id":2652528,"id":"Q2652528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$5D0C9FBB-7955-402F-89B7-32191DF84F72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e3c81037df254fee4dd77b68ab282990ff7a4a","datavalue":{"value":{"entity-type":"item","numeric-id":4256652,"id":"Q4256652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$5B1B384F-55E9-44A5-B578-4635F7ED3C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5955786$69B444FC-B174-44F1-A452-C475EF789765","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb4696e40cf893280c8d2a209d788bd8d2a69d5d","datavalue":{"value":"https://doi.org/10.1007/bf02745518","type":"string"},"datatype":"url"},"type":"statement","id":"Q5955786$1A59C243-F737-4A83-AFBE-2F6A5EEC5B81","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cef69c3f74f68de78902cdc348d5c6737a1f236e","datavalue":{"value":"W2059488168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5955786$D2133643-6F9F-4CB1-8423-647915E82B51","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b25063fb0184396100e1448e26a592dea8d1403e","datavalue":{"value":{"entity-type":"item","numeric-id":4268464,"id":"Q4268464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bd69338be5adc66212a6065bcc110006b61da5a","datavalue":{"value":{"amount":"+0.9832589626312256","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":"Q5955786$17BACC7F-81AB-4621-870B-016B75E9AFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e6c3dcc574e428cc2c5878f72e2d14c0b401c0e","datavalue":{"value":{"entity-type":"item","numeric-id":672040,"id":"Q672040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f121e2dec1d17389c4546dc6ff47ddd7c43ff9aa","datavalue":{"value":{"amount":"+0.9089872241020204","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":"Q5955786$18185D4A-9FEE-42C7-9A84-0665A73F8C01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee6bd4a16e349e72fe99e8cd1c1218b0041a2ef4","datavalue":{"value":{"entity-type":"item","numeric-id":3648828,"id":"Q3648828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f121e2dec1d17389c4546dc6ff47ddd7c43ff9aa","datavalue":{"value":{"amount":"+0.9089872241020204","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":"Q5955786$D5EF282E-6D58-400B-9DC5-BF451C3B1670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a341499615621befd473218de0314310fb0e758f","datavalue":{"value":{"entity-type":"item","numeric-id":671639,"id":"Q671639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6915c74fe58611b74bb4431d7fae24c2eedd4ce","datavalue":{"value":{"amount":"+0.8775247931480408","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":"Q5955786$6E808B4C-7452-4208-9329-B893BE3889FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b558c40aa4e59429868515d0dc7704d22bf559ad","datavalue":{"value":{"entity-type":"item","numeric-id":4256652,"id":"Q4256652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4013b6601d57517319f13439ba782f33f95afc5d","datavalue":{"value":{"amount":"+0.8371855020523071","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":"Q5955786$93817679-A6BD-484A-BDFA-1E6EE87F6086","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5955786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5955786"}}}}}