{"entities":{"Q4612446":{"pageid":6642029,"ns":120,"title":"Item:Q4612446","lastrevid":82309430,"modified":"2026-05-06T20:35:50Z","type":"item","id":"Q4612446","labels":{"en":{"language":"en","value":"Satisfiability for relation-changing logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7009560"}},"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":"Q4612446$ACCFF4F9-2057-4CCB-9A1E-467F45BB7C58","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bda9bb6df21396880ee19cba313cd8ffbbce15e7","datavalue":{"value":{"text":"Satisfiability for relation-changing logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4612446$FCF775EF-5A17-49DE-AE9B-B8F59B409179","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7ce495e57c455c818b5618fcb90e53dc0a7ada86","datavalue":{"value":"1444.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612446$8182A685-8381-4605-AE27-1AA718920302","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daef4e411daa48c61f34c5e5041ae1e9c70ed42c","datavalue":{"value":{"entity-type":"item","numeric-id":190282,"id":"Q190282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612446$FB981A81-E683-428A-9C0E-9E48D3F6C547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad060de8da2ecdba9c119fc8db2ca121a0ca8e5d","datavalue":{"value":{"entity-type":"item","numeric-id":777870,"id":"Q777870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612446$0F2C78CB-E07A-4213-BE8C-2C0314DDD698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"638e2ac70d5044188b1987de50ad7ca50ead4492","datavalue":{"value":{"entity-type":"item","numeric-id":631085,"id":"Q631085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612446$FC0C8C38-B3A2-4E17-A005-69D45A02B9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521b94299af05e7be296e858bd7ce841f1f67cf6","datavalue":{"value":{"entity-type":"item","numeric-id":1742615,"id":"Q1742615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4612446$89E58DFC-FC2B-40EE-AC65-96888200CC3D","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":"Q4612446$6CED8C66-6C51-4538-AEAD-C70B4555CA13","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"28da5ba6fd42e0ac15704863f6f0f4ec47a50b90","datavalue":{"value":"http://hdl.handle.net/11336/100602","type":"string"},"datatype":"url"},"type":"statement","id":"Q4612446$6471CFDF-1649-4B12-B9A6-FE548344418E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612446$D510BAD4-AB6B-41DA-9477-3756700FDF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612446$5F6A4CE6-E32D-42AD-98AC-F51D7BDCDADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612446$F91ADB8F-36B5-41D6-93CC-18BAF2C3B880","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e57b3835e366c6f48a3ff9b2064ac1c26342401","datavalue":{"value":"7009560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612446$14A0F061-A103-444D-B597-3A7FAFC5B3B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612446$322210EA-D1C9-4A36-8FEF-98A0E5D807B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebe66fb4489ec42f23624ad04a1ad945e04b56bc","datavalue":{"value":"dynamic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612446$2724B9BB-252A-432B-A995-D30331EB2B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612446$F272EB51-7B70-46F6-AAE6-AF1F7A63B1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4612446$94AE49DB-FAD2-485B-96C1-81B62CE96114","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":"Q4612446$8DA691DC-7CCA-4600-B755-FF8D73904C77","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"43da1d7dc949112def44e6463ce2976e8e10a2d5","datavalue":{"value":"W2886443044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612446$04DC3DD3-26B2-46DD-A3B0-D2D236BCC8C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9ed4221f183d9d45c4154581fa9065c786a23540","datavalue":{"value":"10.1093/LOGCOM/EXY022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4612446$390849AB-AA5A-474E-893F-F3A02C9A7FF8","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":"Q4612446$A8EB5FEF-50F1-4FA2-BB9B-3CFC0DC4320E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9016cb3d07c80c884a2b5547957553208c771cc4","datavalue":{"value":{"entity-type":"item","numeric-id":1742616,"id":"Q1742616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"888c13e5ea91bdcb8063ca5f6fffc8c37ddc2f26","datavalue":{"value":{"amount":"+0.9181159138679504","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":"Q4612446$933476A3-EE6D-492A-81C6-78B7C6632735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7370d65f5e7cea5c67d03c71f5dc029650ba0e7b","datavalue":{"value":{"entity-type":"item","numeric-id":5015266,"id":"Q5015266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555d02b3674fe8f236a866a28479fe14003734d6","datavalue":{"value":{"amount":"+0.8896548748016357","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":"Q4612446$9D53031B-7353-42B2-BDAD-459269F87600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aa4c48e9e3153570dbf712f277e18bccc31d457","datavalue":{"value":{"entity-type":"item","numeric-id":4644524,"id":"Q4644524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48c6e608917c86e61b99b5bbf358ab9261af380f","datavalue":{"value":{"amount":"+0.846697211265564","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":"Q4612446$9A4631DC-D5DE-4D16-84FA-01D8EAA335D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98e131f96cd9adfa814a0fd2261b2c4cee007291","datavalue":{"value":{"entity-type":"item","numeric-id":2849494,"id":"Q2849494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e6d3358d252323fdaf0cc24b7cca5ebd75734f8","datavalue":{"value":{"amount":"+0.8240250945091248","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":"Q4612446$9AD25E6E-8BB4-4238-8754-3E40AA4A781B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f2468ee55d3320e670a6e9fe234772e543ef4c0","datavalue":{"value":{"entity-type":"item","numeric-id":5176675,"id":"Q5176675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b384eecd9cb2dfc3ad2aece9269789b2f74d3b","datavalue":{"value":{"amount":"+0.7384871244430542","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":"Q4612446$DBBC506C-C732-4F66-A4C6-83E01EE6D626","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Satisfiability for relation-changing logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Satisfiability_for_relation-changing_logics"}}}}}