{"entities":{"Q4612410":{"pageid":6641993,"ns":120,"title":"Item:Q4612410","lastrevid":41132183,"modified":"2025-04-18T10:33:43Z","type":"item","id":"Q4612410","labels":{"en":{"language":"en","value":"Decidable temporal and sequential relevant logics*"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009524"}},"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":"Q4612410$B3D0C2ED-5169-411B-9DAC-4A778E6EE9E9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a7692168c1891160e501f5069c98ca3742f393d2","datavalue":{"value":{"text":"Decidable temporal and sequential relevant logics*","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612410$43CBBFB6-7A9F-4248-81DD-269860257D08","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3d3696efbf7ac77f22c2acf05e1bd956fbab9960","datavalue":{"value":"1444.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612410$E7D2C84A-17FB-4365-8DDC-FEC0D5220B2D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b08dfd6f0c1552627dfd33698447ccae094e7af5","datavalue":{"value":{"entity-type":"item","numeric-id":266882,"id":"Q266882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612410$DA629C28-9C02-48AF-ADA2-26E98BEAF285","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cff588b238fe649ad35be9c49b1edf5332cb4aa","datavalue":{"value":{"time":"+2019-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4612410$B34887C0-34C0-4060-8AED-3E3D30A11663","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612410$94ED3B3D-37F1-4686-95EE-920AACD70437","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612410$79B34E89-AB06-45BA-B82F-0AC24F2FC251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612410$EF79866F-D7DF-4C2B-84E6-D9DD3FBF32A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612410$E4538823-484B-4E54-AB09-653B5A04783D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62c306fd68b6e91d66e615a36725143e5c38be31","datavalue":{"value":"7009524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612410$1BB18528-C635-41F2-8A69-2990768BDB57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612410$78DCE648-B3E2-4AC9-8311-0C9B4F16EA11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8655b9be840caa9be702e31cd5e062f5735bc60a","datavalue":{"value":"linear-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612410$6FEF4FC5-F4BE-4B6C-AA35-D6AC73EE4A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612410$F1F67996-4DCE-445A-8EC9-B913C0749907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612410$8E5A7CFD-A97D-4AB8-9302-9CC83E4D08E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612410$8A483AEE-4E53-488A-951D-CA381BA22B2C","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":"Q4612410$346FA5DF-6C44-4728-8778-EAB35ECAE3AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4b548d2b03cdf11dabc3ace7bd9f77111af9215","datavalue":{"value":"https://doi.org/10.1093/logcom/exx041","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612410$D1BC33F1-E479-4231-8300-E9A497B46BC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"32ac7e732ec37c0b0ab65ece96fcc64e8018dd53","datavalue":{"value":"W2769987433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612410$CFA20C17-A852-42EC-A614-06AEA6950053","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"454a4444a716dc47c3426d9826a6da8e6e23e39d","datavalue":{"value":"10.1093/LOGCOM/EXX041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612410$3E1CBABF-D4DA-4E1A-84E5-D52FB0FA5DC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dff2fa52f544dffe4627d58a6885a6b6dfba98c7","datavalue":{"value":{"entity-type":"item","numeric-id":5111181,"id":"Q5111181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d726a0e69862f855b02d6b3622979e69bf8004a4","datavalue":{"value":{"amount":"+0.93846524","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":"Q4612410$B7B7920C-5819-4BC8-ACC3-0BD52B034423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba830a9ba22ea7c37295423b2e981181858fb878","datavalue":{"value":{"entity-type":"item","numeric-id":3457702,"id":"Q3457702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c7b90564a5a0dbf0af5ba666cfa6950e8cb8f05","datavalue":{"value":{"amount":"+0.9302246","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":"Q4612410$6EA7469C-874D-45FF-838F-C61B3C65730F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"362a8a0dcc7d299cc03d38b6ea2486c6fcb53e38","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1974b0aab79b137e3a3747a89af30261a90b3133","datavalue":{"value":{"amount":"+0.9273376","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":"Q4612410$1A415AB1-8AB8-46F9-A72D-1B96C58C8C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6568dda7eb6cd72f0d20c8ddf174a77ba230712","datavalue":{"value":{"entity-type":"item","numeric-id":5445173,"id":"Q5445173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f2bdeb4ea596052fd262b7776621fb3ea60f9c4","datavalue":{"value":{"amount":"+0.92047286","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":"Q4612410$055E720E-FD0E-44A4-9DF6-4EA657A03C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4749c931588c31648c97654758bf0cdfb3dc96","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cc901ff1ae343c538cd7fa54d6af89382196af8","datavalue":{"value":{"amount":"+0.9192736","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":"Q4612410$16CAAE5E-67EC-4B8B-9ECA-5182AD896C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a10a811d54b394540726160ab89e8107e1069c","datavalue":{"value":{"entity-type":"item","numeric-id":4834484,"id":"Q4834484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97ca45c562a19b8de487fb19fe728b40e24b2699","datavalue":{"value":{"amount":"+0.9186974","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":"Q4612410$FC3940C4-C08E-4D37-B635-B8CC2B3CA33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"982dcb9c634f948a7e9c989818c0da1730d7d6ba","datavalue":{"value":{"entity-type":"item","numeric-id":2917155,"id":"Q2917155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ac59948c4b75da03fc5136f68e3fe280b54af05","datavalue":{"value":{"amount":"+0.91764426","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":"Q4612410$9D01FE1D-780D-4274-B1B9-241A1388E3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"544b2371a942216d584b69d143afbb39693c93d2","datavalue":{"value":{"entity-type":"item","numeric-id":4472440,"id":"Q4472440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"737c3612fa88e818a6ef74bc0ca6a0c15d20dcff","datavalue":{"value":{"amount":"+0.91725624","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":"Q4612410$E14B9077-6F4C-48CB-8B10-8CC97382A6C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a4eede209a58d01f1f661ad4dc08965f78cba5","datavalue":{"value":{"entity-type":"item","numeric-id":4733376,"id":"Q4733376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3226200f4ef11245672a75bc0ab3a7a15449688b","datavalue":{"value":{"amount":"+0.91199434","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":"Q4612410$084BC3B3-A90A-4CE8-9DBC-16F68465E890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea108dc4d3486b75416193e20af0acb78b75a2d","datavalue":{"value":{"entity-type":"item","numeric-id":6165037,"id":"Q6165037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb2756bbc7242d9b052f0d1c7f71a5edbf70ec3","datavalue":{"value":{"amount":"+0.91114545","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":"Q4612410$843D266A-7564-4D6D-9484-B9E6281540D0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612410$03863277-7ACB-471E-A609-016D3E594522","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4612410","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4612410"}}}}}