{"entities":{"Q6665714":{"pageid":14276871,"ns":120,"title":"Item:Q6665714","lastrevid":103864940,"modified":"2026-06-06T08:21:21Z","type":"item","id":"Q6665714","labels":{"en":{"language":"en","value":"G\u00f6del-Dummett linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7969754"}},"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":"Q6665714$12E2BB93-10C5-4449-8B83-7832FAA0E3C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e4946e9854dca1cfe0aa12c0553a678066f8b3f8","datavalue":{"value":{"text":"G\u00f6del-Dummett linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6665714$7CB70F5E-15A7-43D4-AEF7-9C82BB845E00","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"79b013b7a9d2a2f8dca67e43ff0a0f9cda9e012d","datavalue":{"value":{"entity-type":"item","numeric-id":1699739,"id":"Q1699739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$3F489639-B044-4F40-B360-25ECC43F8F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17a879a735f8c4c2dc810ae3411a4de0b38daaa8","datavalue":{"value":{"entity-type":"item","numeric-id":2296758,"id":"Q2296758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$74952531-C49B-4FF7-8948-3CD5C87C28B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ec2ee5f3fb3ad4b04ebc27b1a49c143dcadb098","datavalue":{"value":{"entity-type":"item","numeric-id":385071,"id":"Q385071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$A3F2DDFA-E93A-40EA-8AAA-0E33CCB4B5FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b92a6ba590b3da9e6ff65dd407d49b77ab96196","datavalue":{"value":{"entity-type":"item","numeric-id":2031545,"id":"Q2031545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$298EDA91-BAE9-4D96-A62B-DABAE712D4F5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$7D2B409F-C20F-4284-8E16-48264889EC03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17000f49c0f2609c4683a82c4aacd7701ef13ce6","datavalue":{"value":{"time":"+2025-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6665714$41CF75D4-D259-4DB0-ADBD-05854A675061","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6665714$841A186B-F501-4DD5-94C6-6AF52E3D0651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6665714$8199597A-2F11-44D9-928C-EA4D4ECF61AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9bcfc01570cd295a7fdcd95b43d09870169420e7","datavalue":{"value":"7969754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6665714$81DED718-A7C9-4C7B-94E3-B76BF6E67B7E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"967d16be33d9c889d1ad8acaa6be639638549886","datavalue":{"value":"G\u00f6del-Dummett logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6665714$8C72016E-94A5-4F97-BF80-F248EE0FEBB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6665714$A3C9F895-722D-40A9-9CE3-5B68C6809978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c9b5dd25f2129cbdd221cedbc4a9f144c4e7e97","datavalue":{"value":"automated temporal reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q6665714$DBE0D4A1-3AE3-4468-8CA6-4FAF1CE81DCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a05cfd9da536bc8387292ab9359d3f7e9902a360","datavalue":{"value":"PSPACE-complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q6665714$91051C9C-866A-4FCD-B9AB-E40E378FD397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6ee505908408c94151ececf926172fa716c8dcf","datavalue":{"value":"Hilbert-style deductive calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6665714$E61549AB-3156-4E0E-B939-A6D3AE28425E","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":"Q6665714$D3974AEF-4D0A-4565-8957-24A662FB1EC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$414BF529-A348-4A9D-B106-9739A8F21FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e234acebc40276714dc29da5d76254e7a0309a71","datavalue":{"value":{"entity-type":"item","numeric-id":4002150,"id":"Q4002150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$5719EAD1-E7AF-4B57-B92A-4712869F7A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6bee71a3eac8d69f609f852d40c2a47bc3e267","datavalue":{"value":{"entity-type":"item","numeric-id":4933294,"id":"Q4933294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$DBAFBE18-C1E5-4BC6-9048-0C7F653F1F98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8a8e7aa3826057e8a68a04faafb879ca50e3653","datavalue":{"value":{"entity-type":"item","numeric-id":2370370,"id":"Q2370370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$280E5887-73EE-4A56-A36A-44CE85B95579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f19fa06fd5f5f17f6780c02c0b3bc22d261679c","datavalue":{"value":{"entity-type":"item","numeric-id":568066,"id":"Q568066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$37992A8B-5BD6-4F9F-A0C2-90BCE62BE161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$156ACEEA-5821-4D49-8CD7-A18021691DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96c1ac0a40abf4e77c7245e90c26b90eec70ded","datavalue":{"value":{"entity-type":"item","numeric-id":2270426,"id":"Q2270426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$2DB31F3C-A94E-4DF6-85A4-5926737BD4B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90edc3f805083f932b33818730562df6b42daf1","datavalue":{"value":{"entity-type":"item","numeric-id":6623793,"id":"Q6623793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$F3FC2A3E-008A-41D8-A99A-5AD9EA1833B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"810a438105196696cc0a2f8acd79928b03e80b29","datavalue":{"value":{"entity-type":"item","numeric-id":854969,"id":"Q854969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$46F065D0-C5F3-4C5F-AA49-26799E97F57F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$6F92A5A8-7EF4-4FE1-ABDA-DD1BDFFEC9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e03d971434166662553fea7d297a953d7106b1","datavalue":{"value":{"entity-type":"item","numeric-id":5144622,"id":"Q5144622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$FB102993-A487-4497-8277-0330F0E7C6EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee462460ba78565646cbb8cdcbb0d58846ee5899","datavalue":{"value":{"entity-type":"item","numeric-id":2353964,"id":"Q2353964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$2CCF6B88-3F8C-41C6-8635-B0644B0E29D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f455707a85c6f0184135457468e3b8314675c8","datavalue":{"value":{"entity-type":"item","numeric-id":4583305,"id":"Q4583305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$F137964C-5457-469A-89FA-6AAE84CA61CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf66e0c1b856722e078a5a5e42166fd0ae6762c","datavalue":{"value":{"entity-type":"item","numeric-id":2835864,"id":"Q2835864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$5463C29C-4C94-4136-A791-665DE2E43153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d09acce0e51bf0cc6883860e2bc1297602e92dc8","datavalue":{"value":{"entity-type":"item","numeric-id":4580328,"id":"Q4580328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$391602C6-5403-44DB-A643-AC1383753878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be30b8293c6abc6be5e34e36fa72af8dfc73e699","datavalue":{"value":{"entity-type":"item","numeric-id":2946742,"id":"Q2946742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$25FA39B9-2AD4-4526-8EB1-580565081923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d35476398bfc19ac525fcf8cc705847ade8c75","datavalue":{"value":{"entity-type":"item","numeric-id":2998257,"id":"Q2998257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$42B231DF-7ACB-48E7-815C-EE123CAE4347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da94f35248bb4f4c2af3148b8aea2892d3217cbf","datavalue":{"value":{"entity-type":"item","numeric-id":6102991,"id":"Q6102991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$2DE585AF-D3F1-4A78-84BD-8EF5A0FA4B6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a69e184c7fbb9d6142451a58c0aaba7b7ff9204b","datavalue":{"value":{"entity-type":"item","numeric-id":2035340,"id":"Q2035340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$621D2569-BA8F-418D-AC96-52D2A194CF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37959abe365ef80037a753de9cc6df3d3f8fa2e1","datavalue":{"value":{"entity-type":"item","numeric-id":3884093,"id":"Q3884093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$4F6420BF-7C04-4C94-A20C-4B2000AD213B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90808cf95da0c848e706b5408afbb2e942647480","datavalue":{"value":{"entity-type":"item","numeric-id":2142061,"id":"Q2142061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$CD95FDFB-13B0-4EA7-84E3-47957C3AF9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"904f1bb0840ed6208e962a08e29dee1369fa9c0b","datavalue":{"value":{"entity-type":"item","numeric-id":4635843,"id":"Q4635843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$96DB236E-A5A1-4A00-81F0-BCC01F476C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0025c5170541468307891ff3f9d6ad65434d77","datavalue":{"value":{"entity-type":"item","numeric-id":4754492,"id":"Q4754492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$9A4CA189-C24F-447F-87D1-D6819EF693B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae402495081f71687673aa90b26969eeb53d4e38","datavalue":{"value":{"entity-type":"item","numeric-id":4529490,"id":"Q4529490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$A8523E64-528D-4A0F-8000-E993A89BCC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38fca1aa145c954105ccc69ed1e2873dd9a5c86d","datavalue":{"value":{"entity-type":"item","numeric-id":2361346,"id":"Q2361346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$2F4AB09D-9999-4BBE-BC1A-2241DEC960E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$03280FD2-23F8-4B5E-93F8-7103C402E32C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731ff9800386501b744ac092b83667376e81a9b3","datavalue":{"value":{"entity-type":"item","numeric-id":1006607,"id":"Q1006607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$F9F9EE26-5063-4F06-AD6D-2DE01CDD21E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e24a7a268a4d86215dbc3bcfb7667335e267c3","datavalue":{"value":{"entity-type":"item","numeric-id":2915900,"id":"Q2915900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$1C181DE0-CF83-49A3-8183-8CEDDE82BD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"828c06f6e8321d9c5f419573cf45e7ff4adc60c7","datavalue":{"value":{"entity-type":"item","numeric-id":4645749,"id":"Q4645749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$0C82EE1E-73F3-4A1F-B9F4-3373975FABCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfbec89e4204ea9007b9eb2227977d6d13d242e","datavalue":{"value":{"entity-type":"item","numeric-id":3177797,"id":"Q3177797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$4A7E0FA3-2F9E-4DE5-B696-F115AABAC2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c75afd648a2cc92efaf3ef33c9c1a55d813ee37d","datavalue":{"value":{"entity-type":"item","numeric-id":6116358,"id":"Q6116358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$0033BF49-2650-477E-97B8-C4118D55B28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce8ef4befbfbe322a5d269f41f2c9ffe1aaade11","datavalue":{"value":{"entity-type":"item","numeric-id":3003245,"id":"Q3003245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$155DFFA7-4ED4-49E9-8073-3E139ACF3DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa333eb6361278b3a954f5ea332f1093c6d455f0","datavalue":{"value":{"entity-type":"item","numeric-id":2457614,"id":"Q2457614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$C82EC9D8-1FCF-45BE-ABAD-6C7F8FFF60DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94418bcf5450047caaa2fa9152c267d433f81551","datavalue":{"value":{"entity-type":"item","numeric-id":2389652,"id":"Q2389652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$01E805AC-4DEF-4C5C-A391-0C858E2B8E92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2afa30a9b8eac202ab30f84481370f60ff4f5fac","datavalue":{"value":{"entity-type":"item","numeric-id":1272827,"id":"Q1272827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$960FDC92-0AD8-43BF-94E6-C3FE2A0D82C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e851c5380a2b1703132dffe3ce2f30a1f0b9e3","datavalue":{"value":{"entity-type":"item","numeric-id":2782498,"id":"Q2782498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$7F017A5E-EE0B-4901-88D8-0ED5AB3C9065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7d266ea7dba03690b29e74dfded7cc44e808380","datavalue":{"value":{"entity-type":"item","numeric-id":4487258,"id":"Q4487258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$E795AE60-813B-4397-9A5A-1A28DA79036E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$F611FDCC-FE98-43DB-8AED-98C7590E3046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$15A0297B-FC39-4654-B113-0197BA43D763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d235b13b6189b04afc72d8494188fd02e92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":2703802,"id":"Q2703802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$6611832B-1DD0-4185-8C5F-BB281003A2B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5a4c3f78ecaf0fc1e0b609bbd10716aa4a222d","datavalue":{"value":{"entity-type":"item","numeric-id":1846858,"id":"Q1846858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$9C9FE07C-32E8-4338-AF00-00C9343B459A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"760415f100384be2e340b643b8fb0877c5c1b809","datavalue":{"value":{"entity-type":"item","numeric-id":5111181,"id":"Q5111181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$491FF3FC-23E7-4752-A41E-4712A967740B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5ab0bf6c2bede33be9c95076b22ddd05379647d","datavalue":{"value":{"entity-type":"item","numeric-id":5039160,"id":"Q5039160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$DE06B52D-0DF6-4BD7-A5DE-90E83EC6D942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23174a00fc8fce2c5365464c7a9585a7d12f27a","datavalue":{"value":{"entity-type":"item","numeric-id":5224567,"id":"Q5224567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$6D7082CB-4D65-4471-B677-6194506BDDBF","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":"Q6665714$D13B69C4-7D72-4337-9970-DA60BA3AFE8B","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":"Q6665714$AD48CE41-5FBF-488F-BCB6-F7512C12C87C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$A682BBF8-EDE6-4D00-85AE-9DDD7C3678BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23e4b26e99e931fb75d97f40e815d5dbda6c44f7","datavalue":{"value":{"entity-type":"item","numeric-id":5216145,"id":"Q5216145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$AED199DB-D54F-4A91-9554-9461D1D62E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3df0b23ba7271d3f990b3e9d91914833dff0616","datavalue":{"value":{"entity-type":"item","numeric-id":965908,"id":"Q965908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$41B2D427-8D25-4820-BAA7-6D211AEA0241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc8dff79f01ac09399a34658d0d520835087007a","datavalue":{"value":{"entity-type":"item","numeric-id":5224560,"id":"Q5224560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6665714$3C009CEA-F511-4F19-98E6-5902DB8641A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af72f6a7c166ec17d7ac7427cfe1a9f7192ba781","datavalue":{"value":"10.1016/J.ARTINT.2024.104236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6665714$C2E21059-1672-447E-B3B6-50A1D21B9C1D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"281ad9e4af7e29ff5bad67428119800e0d05e07d","datavalue":{"value":{"entity-type":"item","numeric-id":6102991,"id":"Q6102991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aae2324f6317852d91f325718961e5176100fa5","datavalue":{"value":{"amount":"+0.9202383756637572","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":"Q6665714$3671A50F-6189-4F03-890F-F33DD008C801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21cd6942bf2efaac41f22747b983a5f57cea3d6a","datavalue":{"value":{"entity-type":"item","numeric-id":6560158,"id":"Q6560158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fccfcef14d085eb52e1fd1797ef1c446494f15a","datavalue":{"value":{"amount":"+0.7834850549697876","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":"Q6665714$AE284E84-CF32-4ED6-80B2-40EBC73BF394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55bda332e8bfd225176dff41f74045bd03a9e41f","datavalue":{"value":{"entity-type":"item","numeric-id":2848063,"id":"Q2848063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e38bc331ab87630a06d865b621df167af676ad7","datavalue":{"value":{"amount":"+0.7772980332374573","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":"Q6665714$C64DE948-947E-4703-BAC1-846435A0CD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b5564a2136dab1167c218b225ffcec94caa35e","datavalue":{"value":{"entity-type":"item","numeric-id":4645749,"id":"Q4645749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1193b06191762628f9311703e213f05012577f62","datavalue":{"value":{"amount":"+0.775933563709259","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":"Q6665714$FF23C7BE-51AC-402F-8701-91620FB500F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00e803281346a7822a0a010212e8b313835ab757","datavalue":{"value":{"entity-type":"item","numeric-id":2849434,"id":"Q2849434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ec9dc32fdcbba7c3fbf3f2a4f95f926ce4354d9","datavalue":{"value":{"amount":"+0.7738011479377747","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":"Q6665714$EC6175CB-4BCE-4058-8CFC-363DDAFC12E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"G\u00f6del-Dummett linear temporal logic","badges":[]}}}}}