{"entities":{"Q295920":{"pageid":297687,"ns":120,"title":"Item:Q295920","lastrevid":60816981,"modified":"2026-04-10T19:19:34Z","type":"item","id":"Q295920","labels":{"en":{"language":"en","value":"The decision problem of modal product logics with a diagonal, and faulty counter machines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6593191"}},"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":"Q295920$67177C39-D2D8-4F2D-86CE-D9C45A7374EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"319288b0ae70abd40b56156c7ea7ee6ed0fdd3b8","datavalue":{"value":{"text":"The decision problem of modal product logics with a diagonal, and faulty counter machines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q295920$238AE216-0C4B-4932-B235-8107AF39A316","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"560b5bcc86e30fad6280a1e7f3ac1b58278c8233","datavalue":{"value":"1397.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295920$A0695FCD-4A58-4785-BE6C-D492F1F898ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"addcf6d44783d1bc7ae5a6ba955d62602d552548","datavalue":{"value":{"entity-type":"item","numeric-id":295917,"id":"Q295917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$C63AFCED-C65F-4AC6-AD64-AB158AE012DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a0e4828bf168d1e433dc18f8b8948100e5dbc271","datavalue":{"value":{"entity-type":"item","numeric-id":497428,"id":"Q497428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$597FCFDF-41D3-43CC-94EB-94D28960F7BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5649821b73b09feb4e8f8dde28ee137e2a55549","datavalue":{"value":{"entity-type":"item","numeric-id":1006484,"id":"Q1006484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$EE7828EA-708A-4332-8796-045FD10954E1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$0464106C-396E-4123-A490-3FEB6B97F980","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78ea46dda94662e4a27693f9330fc4f4545ab1d5","datavalue":{"value":{"time":"+2016-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q295920$B1F633C0-4F19-470E-AF1F-71912D56CEB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ac1546b2621b04993905516ad4ea6c176886c3e4","datavalue":{"value":"https://arxiv.org/abs/1509.02060","type":"string"},"datatype":"url"},"type":"statement","id":"Q295920$07629348-B453-448A-83A6-503AA0B3FB87","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d85c64d0966b41c117691c2a1f059870237f36b4","datavalue":{"value":"This paper explores the effects of supplementing the product of two modal logics with a diagonal (identity) relation. In particular, the validity problem for the supplemented product (called ``\\(\\delta\\)-product'') may be harder to compute than that of the ordinary product. For example, the validity problems for \\({\\mathbf K}\\times{\\mathbf K}\\) and \\({\\mathbf K4}\\times{\\mathbf K}\\) are decidable, while the problems for the \\(\\delta\\)-versions are not. On the other hand, the \\(\\delta\\)-product of \\({\\mathbf S5}\\) with itself is not only decidable, but of the same computational complexity as \\({\\mathbf S5}\\times{\\mathbf S5}\\). The main technical tool used is that of counter machines that are subject to certain errors.","type":"string"},"datatype":"string"},"type":"statement","id":"Q295920$291E1CDE-AF39-46D0-9AD4-B1330475C346","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"918802f1a1362bd512279080eb151cb7e040bd3a","datavalue":{"value":{"entity-type":"item","numeric-id":588764,"id":"Q588764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$2F3620CC-7357-4DAB-B6B3-6A9DEF8FB1E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295920$0F6D182C-43BD-423E-B9DB-A1EB59F6EC61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295920$94F403D8-912D-4534-AE23-9A4CC413B45C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295920$782A4AAE-C774-4C55-90B8-F9F3246B451C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295920$45184B0F-FA2E-492A-9BED-A4079CB5D547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295920$23C4BA45-CABE-4F8E-B843-B18A8B9ACA61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"38db836dcc41359da6918725496ef022db8ca0da","datavalue":{"value":"6593191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295920$0E613DC3-EFC0-4995-ABDC-7C52F31AB7E2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e97315ad5b66228e5a7bdc4c765a681216d8c1","datavalue":{"value":"products of modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q295920$71426425-5D43-41FF-AAA0-3B6EAAD935C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"771baa32a7ba9b4505a64a417192abdaa4eb63db","datavalue":{"value":"two-variable first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q295920$432ED017-F63D-44FC-9731-D73F700FD17F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5143626bec5a5d2c0e6a3c2e42486b21eff5e2fc","datavalue":{"value":"Minsky machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q295920$F626BC49-4F70-48FE-95EA-7B1EF6DC269F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb7cd7d0f638d2b3a5b85463b3c1f50b5b9eaa80","datavalue":{"value":"lossy and insertion-error computations","type":"string"},"datatype":"string"},"type":"statement","id":"Q295920$570BCADA-F374-486E-82AA-D0ED02D2A3ED","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":"Q295920$938EB251-8F95-4ACA-96BF-6F2AE8FF988B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1967591000b3a4048a26205e52bd74b497b759b4","datavalue":{"value":"W2264978891","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295920$99BF9ED2-24E9-425E-B8C2-188D8A3B68FA","rank":"normal"}],"P223":[{"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":"Q295920$1F876ABD-98DA-40AE-A23A-C7FC0A32AD83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$387B56E9-AEFB-4A50-94E1-C8AC5FC52039","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":"Q295920$145C0E06-F7D6-4AA9-BA86-24703C469892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30da8c2de419db8eadc2bb3e1de8c4f80cf93487","datavalue":{"value":{"entity-type":"item","numeric-id":1909610,"id":"Q1909610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$864A03DC-3FF1-4B69-A8BD-1EE081987054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$FC87BF9B-8C9A-4A3A-9423-045BB5AA51A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec61348cbc7897006cbf43596adc1b3a59cad5f3","datavalue":{"value":{"entity-type":"item","numeric-id":3691638,"id":"Q3691638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$AE390D4E-9340-46BB-899D-CFEF3F446A1C","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":"Q295920$F9C3928E-8731-48B1-8571-1E32F9B0186D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45af815584b281446704023f9f4c0865a4d4836","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$4AC969F0-6146-4E13-8666-2A4E4F5A1B9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d580d739e5ebadf6acf6fd1b72630f128a7d1c4","datavalue":{"value":{"entity-type":"item","numeric-id":4952023,"id":"Q4952023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$BF990B7B-0409-4FCE-9C99-7D1CE9ED888A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b9c5f8188a00cdb89ca68ada5045e25c1ac9617","datavalue":{"value":{"entity-type":"item","numeric-id":5718700,"id":"Q5718700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$03424E01-8D5B-4899-A066-317FF0318ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2d3e80b41f170ac4196b6987278b1835728d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4755550,"id":"Q4755550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$2B45CC48-551C-497C-9443-FE6041677B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc87ad8b718d652fb612db8e727345bcdad12278","datavalue":{"value":{"entity-type":"item","numeric-id":3695253,"id":"Q3695253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$104E6D80-E5E7-4351-9D74-F918ABE23907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a5f44a544a3048b56df455f792732a88671dda4","datavalue":{"value":{"entity-type":"item","numeric-id":5892436,"id":"Q5892436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$D91808C5-833D-4DF5-A9F6-65671BE820BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19d4c961176e9452dd55fdddf2406cd05d35f5f","datavalue":{"value":{"entity-type":"item","numeric-id":4338040,"id":"Q4338040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$71DE3444-3832-4AEA-A5C5-9089414888AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f06da0733433b72cc38e384260530070cb37219d","datavalue":{"value":{"entity-type":"item","numeric-id":3282928,"id":"Q3282928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$884D9567-6D8F-480B-9E93-4F531DF122D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1be3da07347b5eb0a8102d64c84157aa3752c002","datavalue":{"value":{"entity-type":"item","numeric-id":2957765,"id":"Q2957765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$D903E232-967C-4BAD-A3ED-C817F09670AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$018F7380-1B97-4607-9CFC-B08E6E037804","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dff768988cb739e3825cc6a6c30651a26f32c48","datavalue":{"value":{"entity-type":"item","numeric-id":650277,"id":"Q650277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$7B141E3A-9DEE-4485-9052-A40114966646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0f4cf4ff644c5a2ead5e80e32317fa095ea47f7","datavalue":{"value":{"entity-type":"item","numeric-id":1150594,"id":"Q1150594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$71C617E9-0E63-48C8-AB29-C631DA971590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04ce8fcaa3618a6dd7d552dbea0b3e14b3286d49","datavalue":{"value":{"entity-type":"item","numeric-id":3655206,"id":"Q3655206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$8E90561B-4F3A-434A-BA68-702B139D7156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfa0425f5b7807bba3d4f50b1605fe47dabc7c43","datavalue":{"value":{"entity-type":"item","numeric-id":2853714,"id":"Q2853714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$41EB2FCF-7AAD-4AAC-BB9E-347D6DC34832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b075c925610a1136f6897af3c23ae2fda0cd16","datavalue":{"value":{"entity-type":"item","numeric-id":4242586,"id":"Q4242586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$93295F86-483B-48C5-870E-35E77F1269EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f46d9846e353f1864b8f4998338323af75f599d","datavalue":{"value":{"entity-type":"item","numeric-id":4943504,"id":"Q4943504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$96FFDB7D-60D7-4991-9B28-B4D2858F30DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d66cd262f22ae18aa300f222dc6d2d96495e6a2c","datavalue":{"value":{"entity-type":"item","numeric-id":4508393,"id":"Q4508393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$CD054159-7EA8-4258-93DC-C18DB18D7F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$D00EB880-3E82-454B-B06A-5A7DD9A5D092","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$8515A462-173E-4D84-AA91-8CABDC5D30A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3df05e194c3e3ff5678c1caab0669b039135eeb8","datavalue":{"value":{"entity-type":"item","numeric-id":5899090,"id":"Q5899090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$90151911-2F69-4394-8069-04DAFB537A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"255b3664dfea16cc525f06c300cbfcffb9568d97","datavalue":{"value":{"entity-type":"item","numeric-id":1130239,"id":"Q1130239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$06C5ABF0-01AB-4900-BB8B-EBA867AC4E07","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":"Q295920$635F4304-9DCF-460D-8303-1F437BAD702F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a03373d055d800c44add4a0719c3f9b1ccdea7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5311047,"id":"Q5311047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$0AA07677-9957-4A26-BD69-5C7C7C8027B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72ba3a9005fa36975f18f0579830b291d3bcc59","datavalue":{"value":{"entity-type":"item","numeric-id":5643953,"id":"Q5643953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$E975D2BD-6168-406B-BD30-729C03CFF190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a7d6a839b422e5e524b62076efda584b3370329","datavalue":{"value":{"entity-type":"item","numeric-id":5906166,"id":"Q5906166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$44A1951B-449D-47C9-847C-D70CE248FFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e0c4b57cba1bdc3f15f38a9a9da75391bb165c4","datavalue":{"value":{"entity-type":"item","numeric-id":2510775,"id":"Q2510775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$73F45856-1D52-4F3C-9814-7AFAEE19E314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46ed020b59c477403bed93a2bd5eae02fddd49ee","datavalue":{"value":{"entity-type":"item","numeric-id":4833777,"id":"Q4833777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$ABC7CB7E-E6CF-4389-AE7B-9AD176338AD2","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":"Q295920$B88F6E59-FA2A-4EAF-86E8-90E71802A389","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83ac6cc4fc574885a079a28954c83c58d9cf59f5","datavalue":{"value":"10.1007/S11225-015-9647-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q295920$1475A6C6-023D-4E6B-9314-F0EC28AB117D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3621047a3ff8a2f8cce960cf1f9d42ecfc70f47","datavalue":{"value":{"entity-type":"item","numeric-id":3655206,"id":"Q3655206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0090c36505655985b876589388917060a0d6df5","datavalue":{"value":{"amount":"+0.7892612814903259","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":"Q295920$66CAC558-E206-44B5-891C-A2AAAC0850F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0068902deb964e89d078ec49662d9841507b3fb","datavalue":{"value":{"entity-type":"item","numeric-id":2708309,"id":"Q2708309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8098733d01b5f7e97686af2daa7c381278ff938","datavalue":{"value":{"amount":"+0.7681071162223816","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":"Q295920$88FE5B54-FBF9-41D6-B7E3-F034BD6BEBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fab363b7c791b644d398fd1902a1b6cd9f6fcc9e","datavalue":{"value":{"entity-type":"item","numeric-id":1863827,"id":"Q1863827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3efd93af666e3b64dbd49267fc8dfab097f1fac","datavalue":{"value":{"amount":"+0.7610777020454407","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":"Q295920$D7837290-7B58-4178-A19B-AA55DB9D10FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4805e4223ec5ae661cefa39b3f7f5dcc349b602a","datavalue":{"value":{"entity-type":"item","numeric-id":4487258,"id":"Q4487258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79d32093b7c007486b196a283a33bb327381fd69","datavalue":{"value":{"amount":"+0.7610775828361511","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":"Q295920$AFA7C6C8-2747-44B1-9080-297A84B34C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"315e8a688e407b719c245ad8bfaf0b92243d2f87","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"328f2bfb22d12001f00c934b76aa9b161282559c","datavalue":{"value":{"amount":"+0.76038658618927","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":"Q295920$DC96ED5D-8610-4316-8511-7510A4EE6DCD","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q295920$B6C904AC-6A3A-43B1-8B0A-BEDF6F0D6989","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The decision problem of modal product logics with a diagonal, and faulty counter machines","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_decision_problem_of_modal_product_logics_with_a_diagonal,_and_faulty_counter_machines"}}}}}