{"entities":{"Q764266":{"pageid":766115,"ns":120,"title":"Item:Q764266","lastrevid":64160856,"modified":"2026-04-11T18:03:00Z","type":"item","id":"Q764266","labels":{"en":{"language":"en","value":"Bounded linear-time temporal logic: a proof-theoretic investigation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6014273"}},"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":"Q764266$23673F1B-CF18-4498-BAEE-636D152989D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d563c3f06220ce132052bf6ff0cf0d3bdb15349c","datavalue":{"value":{"text":"Bounded linear-time temporal logic: a proof-theoretic investigation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764266$B09AEE86-D3E1-41E0-BBCD-07874627EE9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af5b715be8b01e80d7bb94792474e4f306d19d5c","datavalue":{"value":"1241.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764266$15469C25-E8E5-47BB-95CF-AE1945F4B001","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":"Q764266$1CF5FA3A-4530-4E4E-B251-835F553C9D91","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$A9ACB98A-835A-42BE-88EA-9534E919227F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764266$DE246358-6924-4AAE-BFB6-E9DB72A6F34A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764266$E252E19D-B780-407F-920C-AAF22ABA2AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764266$A6B1AFCF-3C1F-4FF8-A8B2-FACBBFE3436E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764266$1A313EE3-774A-4BB7-8952-266C9C17E74A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f51e128293761977b3d6d9d22fa47ee9bcbebf90","datavalue":{"value":"6014273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764266$B8D48CFA-3398-4E3F-94C3-EB5C696E62CD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q764266$E79FE8A5-1553-4E8A-B8EF-8A1020E56E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q764266$0C9A6FED-8A6D-4A8D-B28E-E84374C20F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q764266$4601BBAE-7A61-4281-A0F7-F32A880093D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q764266$2FF73112-01FF-4CA0-BFEC-739A064632AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"351376af9337c9358d4b7714d8543cf671d9a4b6","datavalue":{"value":{"entity-type":"item","numeric-id":26576,"id":"Q26576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$3FAC20C1-13A8-4F19-BB09-9755C7B93651","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":"Q764266$B9D2A916-7773-45F2-A420-5CB671D4341D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9c84d648e668600d7d694ac2154a662e1eb5c30","datavalue":{"value":"https://doi.org/10.1016/j.apal.2011.12.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q764266$0823BF1F-A889-4D2C-99C3-9FBF0567450F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7d5cff8f4e550e093bbd891f598a71e4afb514f","datavalue":{"value":"W2042951804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764266$77046C1F-CCDE-4761-ADD4-F2400F1D6BBE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e94fc796d6281ef35fac1f629eb9ac4a5b3b29c","datavalue":{"value":{"entity-type":"item","numeric-id":3474286,"id":"Q3474286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$454832E7-482B-4816-BC84-8D4CB96F59AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8325beea8130b47d267a7f2f8cea1b793f81443c","datavalue":{"value":{"entity-type":"item","numeric-id":1408856,"id":"Q1408856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$E0E5D25C-71BD-429E-834F-9AF89F3949B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fc1ac2622b50f677e07bc5a9600a0986a2da5a1","datavalue":{"value":{"entity-type":"item","numeric-id":1762733,"id":"Q1762733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$2282F973-F52A-4DD1-9324-D203F5EE22A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$86FD3804-C89E-488E-892A-A904157DE9AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32ef8c8641427188d46bb8b56103385e3874640","datavalue":{"value":{"entity-type":"item","numeric-id":3338212,"id":"Q3338212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$26594C68-CC77-476F-87AA-13E7D0E4ED9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a45a747987605de7892fbed09e314bbb40e837e","datavalue":{"value":{"entity-type":"item","numeric-id":4938418,"id":"Q4938418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$C49CEDF0-3191-4A93-8463-21CEB9722A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047c685839d245002c26b6f6d82939ffe164f329","datavalue":{"value":{"entity-type":"item","numeric-id":3838808,"id":"Q3838808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$AA7081F2-F44C-464B-B89A-7A0D353BDBAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b024f968ab39eecba87b54091254c36a354243e","datavalue":{"value":{"entity-type":"item","numeric-id":5277744,"id":"Q5277744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$A73DBD46-0313-411B-AAD7-E6A89DEA0CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32dcb19e5ef5b6a802e39b06593342561643f7c9","datavalue":{"value":{"entity-type":"item","numeric-id":1854521,"id":"Q1854521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$90FF7F12-8893-4B7C-9AF1-F87D419E86DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4366155d183781470c4665ac1b93ea07de3ba","datavalue":{"value":{"entity-type":"item","numeric-id":1383357,"id":"Q1383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$0B6FD18F-F662-4BBD-9BD4-9C9E82771451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$07E19632-470E-454A-8634-372BD1B1C36D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d02145d669f77cb1160f029332407b34a7cb457","datavalue":{"value":{"entity-type":"item","numeric-id":2506493,"id":"Q2506493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$5D958851-8F1B-478B-8C66-0149DCE0D3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$3341A244-0801-4E5F-AD7C-C45D16328F9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2791adf62fcd6917e0cfb6ca40d21416a8677a76","datavalue":{"value":{"entity-type":"item","numeric-id":5738910,"id":"Q5738910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$B79DFCAA-E17B-437F-A986-F1EDBB14FBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a25c01e8d4be176dddf944065ec7d363ffdadbd","datavalue":{"value":{"entity-type":"item","numeric-id":1591203,"id":"Q1591203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$86F89D4A-DE1C-45E5-9AC3-5EB06CFB6204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4abb670df6f5a721581efd6381b449049864bddb","datavalue":{"value":{"entity-type":"item","numeric-id":4939409,"id":"Q4939409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$1AF51784-38F5-49F1-80D9-45657DB193AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1ac475f662fbc3b53cc4c21ce84c3c6dd1fa36","datavalue":{"value":{"entity-type":"item","numeric-id":1770594,"id":"Q1770594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$A3698A90-8676-4220-A4D1-4925637DEDEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b3fca908540a12558e27540d4417f6987a3e5b","datavalue":{"value":{"entity-type":"item","numeric-id":2368991,"id":"Q2368991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$AAE8E4C7-049B-44C7-84E8-AA3756155157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8698aa9bbbf844c97e998b32a12aa94a72a141","datavalue":{"value":{"entity-type":"item","numeric-id":5460163,"id":"Q5460163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$DD3839A8-985E-453D-BE94-0E94385DFFDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a0313c2e582aa2e0d5ac0010a6b64290cc9433c","datavalue":{"value":{"entity-type":"item","numeric-id":5482597,"id":"Q5482597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$E0771E44-C040-427E-AB80-978134192E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b1b567d0562bf33afe8e81e212f024b5c5a9fd6","datavalue":{"value":{"entity-type":"item","numeric-id":3393380,"id":"Q3393380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$ED3A5DC7-430A-4D85-BEEC-B4D0FC67CA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce6c0c3cfe49a3d2843a935328bdbf41639c6491","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$BA106B0C-80D2-4252-A1C5-BDB0EB6ADC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4933c393e0df0da8bf72b1cf018c0c8fde2fe994","datavalue":{"value":{"entity-type":"item","numeric-id":3751561,"id":"Q3751561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$0FD9927D-51CF-4515-B94B-21272DB01CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07116ceefeba08b4048eac03ce0bdd36a0c65f15","datavalue":{"value":{"entity-type":"item","numeric-id":1234163,"id":"Q1234163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$61888BFC-53B9-4146-9C68-2B05369E2AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7582e86ac15a837da5a504aeed727db9664c0549","datavalue":{"value":{"entity-type":"item","numeric-id":5311264,"id":"Q5311264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$83B8E6D0-1227-4D08-A122-A637564BF72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebd32d099ee8c91552756addce4fb86715ed2d8","datavalue":{"value":{"entity-type":"item","numeric-id":2640596,"id":"Q2640596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$B77497C5-29C2-48AE-BF76-A3752E265E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c6d716895fdb6ec0bb66b0a1a0dced3ddb2bf9","datavalue":{"value":{"entity-type":"item","numeric-id":5462673,"id":"Q5462673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$3D4962AB-E916-49A8-9D8A-62E0D8591FA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91008a0f6911f9bf2f953bb0f9bacec6f7c6a225","datavalue":{"value":{"entity-type":"item","numeric-id":4463936,"id":"Q4463936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$1F6E5A5E-18E5-4A54-BB4E-32EF86E4E72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d32fbb358fe8ff698056a464a35ad043a50a44f","datavalue":{"value":{"entity-type":"item","numeric-id":3496314,"id":"Q3496314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$5CD6863E-858F-4FF5-9B56-27DB5BE73F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb6ef5633e12f6701b6cd89e68936d56c52dfab1","datavalue":{"value":{"entity-type":"item","numeric-id":4560364,"id":"Q4560364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$2F3AC305-9C2A-4CA3-AF2E-AB46460A9F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$055E6851-A27D-41A2-B572-20A63CCCA11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86d867d7f73aa40771d910c708dbfd1ad704631b","datavalue":{"value":{"entity-type":"item","numeric-id":3327708,"id":"Q3327708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$18EC147F-108B-4F1D-A276-A471D6021DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaa7c2a801938246bc5b9c35ae533855c08aea3","datavalue":{"value":{"entity-type":"item","numeric-id":1090673,"id":"Q1090673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$36D0BF56-4504-4CBD-B5FA-12B75AC52D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$750E130C-58B0-47B8-B712-D599EB706D35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2002e9228b023d08f49489031907fa50fb1b3491","datavalue":{"value":{"entity-type":"item","numeric-id":1188500,"id":"Q1188500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$AAD0DAD6-CEFB-429F-9B51-9A01D075D217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09e0682cd7b7941e53ad4f333d01634cbe29d198","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$0CC9A448-D86F-4557-BB28-1F578A27DEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9256597e479262f5da622146a6ab57b4f455a5aa","datavalue":{"value":{"entity-type":"item","numeric-id":4219025,"id":"Q4219025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$FE5F04B9-B7E4-4329-9182-586DF574EECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74eabf2469e4464b01fdad25e8f968c2ff56e0c5","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$A462CE4D-47F9-40BF-95E9-9ECC6EB46839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f236d8fc7e363b4b1fefb363aedaa046e9a1e058","datavalue":{"value":{"entity-type":"item","numeric-id":2488268,"id":"Q2488268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764266$23A4FC02-F72F-4A27-83B6-CBE55E0ABA8D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"669dd17850d365078b158e1b1477c4163efcec5b","datavalue":{"value":"10.1016/J.APAL.2011.12.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764266$C2898486-556E-4FD4-A0C5-831E611BBE67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9343c5e86478d523591ea690c01d4699f4828b4c","datavalue":{"value":{"entity-type":"item","numeric-id":975875,"id":"Q975875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"491f3ce50b26cc2cd6c001b7d68b4b3d535efe84","datavalue":{"value":{"amount":"+0.8048452138900757","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":"Q764266$086A83F9-B641-493B-A8C0-2F2AB249566C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84bd545647dad02509086e195823bbe1f5db783","datavalue":{"value":{"entity-type":"item","numeric-id":5412171,"id":"Q5412171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74fa3476e169fc348f23b42d997f4eaa1594b12d","datavalue":{"value":{"amount":"+0.791820228099823","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":"Q764266$EEAC09FB-F59A-48F8-BD30-2022263F8CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d9df7499817978c9c41a287e68810e53cff96ae","datavalue":{"value":{"entity-type":"item","numeric-id":4938418,"id":"Q4938418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7525307c9671f61efd2086c960e109652d557e80","datavalue":{"value":{"amount":"+0.7917850017547607","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":"Q764266$28CEE7DE-0BA0-44A0-B2C0-4BFCFD560BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7525307c9671f61efd2086c960e109652d557e80","datavalue":{"value":{"amount":"+0.7917850017547607","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":"Q764266$EE0E4D2B-C8C7-4677-B99F-3D414324692A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd389323a0ab574d9b53763364dbee4a972e5ee4","datavalue":{"value":{"entity-type":"item","numeric-id":4364518,"id":"Q4364518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8890c5f0a933ea75324648650c4a612fe94d2da","datavalue":{"value":{"amount":"+0.7887366414070129","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":"Q764266$68866764-C991-4FD5-AB15-8BEBE0EAA0E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded linear-time temporal logic: a proof-theoretic investigation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_linear-time_temporal_logic:_a_proof-theoretic_investigation"}}}}}