{"entities":{"Q5092390":{"pageid":7121966,"ns":120,"title":"Item:Q5092390","lastrevid":94333064,"modified":"2026-06-05T06:32:32Z","type":"item","id":"Q5092390","labels":{"en":{"language":"en","value":"Two variable fragment of term modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561674"}},"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":"Q5092390$79ECCB0F-8952-4BA2-A284-922B667A19A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5092390$2330A586-15CD-4074-BA8D-B4736CCC94D4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"596e7243293212c6c414cc6bbe0979906b179615","datavalue":{"value":"https://arxiv.org/abs/1904.10260","type":"string"},"datatype":"url"},"type":"statement","id":"Q5092390$D90BF267-636F-444D-A1A9-CE7D010DA3FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092390$60B34E0B-314A-4697-BE6F-AADC122A0E64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d518d65e785e75629f78bbca40b93687f598d81f","datavalue":{"value":"7561674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092390$3D2D093A-FF63-4A12-9FAE-602B5E7A8CDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"622ac35bf5a9bbf8a98b523f538e00d00c2caa9a","datavalue":{"value":"term modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092390$0E672978-7F1F-4486-ABA1-2856A67C32BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b4d6e6089943a261128dec792d30fd4cdc9763","datavalue":{"value":"satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092390$FC5906C4-825C-4203-97D6-D7AAD9159F87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12cbe9d467770c7b64df3c6318dbc8871b75d100","datavalue":{"value":"two variable fragment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092390$DB7ED046-AE62-42CD-B281-12D4C8AD093B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5092390$25423AA4-9711-4C2E-AA34-605C2780D9CE","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":"Q5092390$9CC8425B-27E7-4664-9917-16B71E407841","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$DEBB2EAA-978D-4CC9-82E4-0729E10A0717","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":"Q5092390$19CE294C-330E-4450-82E7-F1E8FA3550F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81b2bab98dcc43f9db84a3da5d7d33f2402ce9cc","datavalue":{"value":{"entity-type":"item","numeric-id":4451729,"id":"Q4451729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$1A5DC900-6473-4896-8333-26D229632D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4b9cf7e651a575d29d1d99f98795d4aba044aa4","datavalue":{"value":{"entity-type":"item","numeric-id":2555060,"id":"Q2555060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$D4833AA8-08B6-4D76-ACA6-F02F9E02E61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$A712C07C-1ACD-4A8E-96E2-783DDDD9FA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20606d83cecdb234bd184a0c25c9f7a0b87d6472","datavalue":{"value":{"entity-type":"item","numeric-id":5904054,"id":"Q5904054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$BF4AB519-9AAF-413C-A998-D78224BFD7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9aa909a5f3ff0abcbc69852eb1a775aad8fbb1f","datavalue":{"value":{"entity-type":"item","numeric-id":5955624,"id":"Q5955624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$8B2BDBBF-B451-4137-BBAE-5B2CE22C7446","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":"Q5092390$A130B13C-03C8-4934-BD22-32255CFFAC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55ecfe194d2e69edc93cb9e4deccd0dcebf83e34","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$E4A440CB-0F9B-4335-8A41-FA207CC6EF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$CF831B9D-E561-4C3B-9721-F6ED2E49F85B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54025300fda40ddfae03f3a130ec09252127cc5d","datavalue":{"value":{"entity-type":"item","numeric-id":3370616,"id":"Q3370616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$62400CFD-28C0-4442-A082-615714754FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7391c0e39142c13c5e82fdea458c36ebc50f7ee","datavalue":{"value":{"entity-type":"item","numeric-id":3529361,"id":"Q3529361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$EBBCEB31-1DD6-40B8-B3CF-02CBE14B7E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68beb758483bc11fdcbf81a9d0b08ca173df35df","datavalue":{"value":{"entity-type":"item","numeric-id":3848194,"id":"Q3848194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$9B115FEE-5DBB-442E-9251-5398AF6075DC","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":"Q5092390$4507784B-D111-4A7A-95E6-276C3CE9F6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72cea6210234011431cccc309e04a7e9ba221e19","datavalue":{"value":{"entity-type":"item","numeric-id":2016054,"id":"Q2016054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$44750A67-CDB9-4CA3-BA56-43137D930BA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb7e706f8e9249519066e3c269d42d0dd78173d","datavalue":{"value":{"entity-type":"item","numeric-id":2001365,"id":"Q2001365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$EDDD2097-C2B0-4751-AFB9-35CF906E594D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4c7dc2480d6e1a3dbb0c75c2435394d6262eed","datavalue":{"value":{"entity-type":"item","numeric-id":5090984,"id":"Q5090984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$7ABE445A-4950-423E-9802-E1163F1D3270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"130a9c70d78decb754c29ed41ad7200da8c84855","datavalue":{"value":{"entity-type":"item","numeric-id":2323638,"id":"Q2323638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$CA498DA7-9E1B-4EE4-B2F1-D814F1F7171D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f68ae1748b8bfe9ae3e2d98918536504049351d1","datavalue":{"value":{"entity-type":"item","numeric-id":1743999,"id":"Q1743999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$D7BC8577-F901-42C9-8040-88DDAD5FC065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc96d7269ec61fc005197ab851b63d5b6b1e64c","datavalue":{"value":{"entity-type":"item","numeric-id":2323640,"id":"Q2323640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$00381FAC-5854-4615-AEAA-4DC749A94538","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d354655ba9301604e5b226418233244fefd454b","datavalue":{"value":{"entity-type":"item","numeric-id":3384090,"id":"Q3384090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$7FB53124-E5D2-45EA-B1E9-236F7B64F56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9fdc7383d9b6c6ba220a12294fb84fcdba72817","datavalue":{"value":{"entity-type":"item","numeric-id":5224590,"id":"Q5224590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$06264E5F-35DA-4E5F-881D-B20EB4766A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"651d669f2b6e600c429f900f8a2c3a0056756db9","datavalue":{"value":{"entity-type":"item","numeric-id":2758067,"id":"Q2758067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5092390$059DE4D5-D54F-46B4-8CD9-C092BC907B0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1587e823ffd284a32eb1e1d3857e55f60bf68e14","datavalue":{"value":"10.4230/LIPICS.MFCS.2019.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5092390$1942E665-15B4-4039-A55C-6E8E9D809D99","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb158dd7973414d14e61278870445c0f264b0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4276022,"id":"Q4276022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14b3a3457467397842f9a7a939c0f83de99438b3","datavalue":{"value":{"amount":"+0.8203004598617554","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":"Q5092390$93074E54-422A-400E-8CAE-1C7523BD6E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d03571aa9a2a45d545579db9ac057522d9a85e","datavalue":{"value":{"entity-type":"item","numeric-id":2001365,"id":"Q2001365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565b421c5f439c426641e1b04be88c1280d72724","datavalue":{"value":{"amount":"+0.815353512763977","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":"Q5092390$E9573CA3-B959-49E0-8ADA-7836F0BD3A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1baf0e8b09720f765e34340f8ed24c658f1f3acf","datavalue":{"value":{"entity-type":"item","numeric-id":3370616,"id":"Q3370616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fdaab02aa99654d0dbaceb0f367e455c7a258c","datavalue":{"value":{"amount":"+0.8076784610748291","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":"Q5092390$DEB668EA-6378-47A7-98F7-7BAA82618FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbae6fafa873b776d56141c1686ea0d10f5c1ef7","datavalue":{"value":{"entity-type":"item","numeric-id":1960419,"id":"Q1960419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8180ac6fb982d860a6c419e55900b26a570b79db","datavalue":{"value":{"amount":"+0.784559428691864","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":"Q5092390$784E0E93-91B7-4C86-81AA-7CFEA25FDF83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91b99d416fec6d84e93dc4fca6044f95cf0316dd","datavalue":{"value":{"entity-type":"item","numeric-id":2284173,"id":"Q2284173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947f73deeeca28d217f014502d8dbb85193f874b","datavalue":{"value":{"amount":"+0.764478862285614","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":"Q5092390$7D1B3B2F-E93A-4909-BFBA-18E2DC39FAE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Two variable fragment of term modal logic","badges":[]}}}}}