{"entities":{"Q7317501":{"pageid":31318696,"ns":120,"title":"Item:Q7317501","lastrevid":105110260,"modified":"2026-09-17T09:34:48Z","type":"item","id":"Q7317501","labels":{"en":{"language":"en","value":"The modal logic of abstraction refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8243919"}},"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":"Q7317501$D3055AB5-1087-4B09-92BB-AD1EC0F65BA7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1e365fd7a016c64d19587a54f47eaadd55cd0efc","datavalue":{"value":{"text":"The modal logic of abstraction refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7317501$465F5A78-95A4-4DEF-9C3F-6A2041CA7ED4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"68723e3d1ad3b5b52e1cdbb19af7f95abd886626","datavalue":{"value":"10.1007/978-3-032-22730-0_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317501$E7C183C1-AEF8-45C9-905C-8787A7F2A705","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2c3222cb8612bc6990a53c70a4264ee029fbbc3","datavalue":{"value":{"entity-type":"item","numeric-id":2147194,"id":"Q2147194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$7A160168-9F31-4A9B-8875-9BCE5E5DE477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"264d6c45d26848afb693056da27390a3f74d5441","datavalue":{"value":{"entity-type":"item","numeric-id":7317500,"id":"Q7317500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$2AEE7784-4EBE-4C76-8E14-16B34F975759","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"679b4e0b22b8f0492481521a42d04ad8739e3203","datavalue":{"value":{"time":"+2026-08-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7317501$11CE4EBD-B8BC-4749-9AA6-1742FB6E5D7D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317501$5A0B71CB-7DEA-4DA4-8594-1F41A109F0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317501$285CC951-F27F-492E-926C-1C3AFE620508","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"164a7283f1278a0c3d1d51c0f6fc5d2e01b198a3","datavalue":{"value":"8243919","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7317501$BDD0392B-1321-4342-B33D-997AD2A8BDA5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$851F3126-1C43-4012-8746-76979E87A8AB","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":"Q7317501$9D7D7CD9-0247-4EE4-A5A0-0281AA87DEA6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$BD614975-2523-41FD-A6B7-6651A315C304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc91532a020d6fa9e71a24869eb90952eb46b7af","datavalue":{"value":{"entity-type":"item","numeric-id":6111235,"id":"Q6111235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$303AE940-AB8F-4C8D-8AAF-2D4077022DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d42b3c859f379db788922b08351aad4b81866d","datavalue":{"value":{"entity-type":"item","numeric-id":2663333,"id":"Q2663333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$37765232-AB52-436A-8F46-2F74AF3BFDEC","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":"Q7317501$44F4E162-FFE2-4C5C-81D7-EE1C7ACAB0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4280c8dab9cc56e75b8f40b5263dcef088143453","datavalue":{"value":{"entity-type":"item","numeric-id":476194,"id":"Q476194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$9B8205E3-7BE7-482A-BA2B-7E7812707803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692f4eeb20dd25bd5028e5a8d2fb2ef4f1c487a8","datavalue":{"value":{"entity-type":"item","numeric-id":744988,"id":"Q744988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$49450B00-D8AE-4B79-8B41-5774892DCFDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cf57a3273310e951bb2d109df68c35d5a2d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$7440768D-054B-4A57-A991-D34C44789A6C","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":"Q7317501$6BD6DC0E-57C4-4A24-874C-8B9FC7C0B4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb19e18c12ddea2b553dcb695cb9473546265295","datavalue":{"value":{"entity-type":"item","numeric-id":4427894,"id":"Q4427894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$A74533DE-053E-407A-A41E-D99CCCAF7D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$EDCA0823-581D-4D0D-A942-098A6FF1D091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$1747C86F-F309-490F-BEAF-46311355EFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52399dbd6e9bc23018f1172efb05b548b6e91780","datavalue":{"value":{"entity-type":"item","numeric-id":4804901,"id":"Q4804901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$BAE90462-1AE4-4262-9487-49148D9159E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbc4d8ff84bb31a0b40416f4ca5b5fa8411ef78","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$7BC70483-E556-4EC6-8D6D-F44839BE6CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06af39ba7611ce840efed59d15b9062e58635f61","datavalue":{"value":{"entity-type":"item","numeric-id":4804892,"id":"Q4804892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$8E66B80B-DF9E-4240-B015-92F305C774DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89b378602d866701dabdb7cf5317c937b47e2621","datavalue":{"value":{"entity-type":"item","numeric-id":5711492,"id":"Q5711492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$E0E7B707-A6C3-4D40-A409-7D733CA7A310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2097adc14ecbe197cdb57f9ee7d653330aaf5139","datavalue":{"value":{"entity-type":"item","numeric-id":5437615,"id":"Q5437615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$F630CC2C-9DDD-4244-9B41-AB3141510FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64132418b4f4fae4f1e47b13947ae2ff9625c7ce","datavalue":{"value":{"entity-type":"item","numeric-id":498994,"id":"Q498994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$FCE08E64-D66A-4343-B8CB-AD9C91C47A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba5e7b5616303dae527acb1d31e5908bee14a467","datavalue":{"value":{"entity-type":"item","numeric-id":5065132,"id":"Q5065132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$35CC2D13-7C9F-4762-BF60-77063949DEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22edf873c1fa5a158cacfadc4a4c53539f89bba","datavalue":{"value":{"entity-type":"item","numeric-id":2936237,"id":"Q2936237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$AE224A38-52EC-4269-9671-25A04C54AC05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a83a67aeeee80be40a4f0733d6fb3546e49365","datavalue":{"value":{"entity-type":"item","numeric-id":6564675,"id":"Q6564675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$02C8A862-162D-4F9C-A60B-8BBBD80BECD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e07930ce4911f611d084d7578c97cdc8fb3f729","datavalue":{"value":{"entity-type":"item","numeric-id":2763694,"id":"Q2763694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$5F4F0578-0034-4C54-BB02-BF981A97FB69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4166160f1aade05a8cceb457338b43bd5e399c1a","datavalue":{"value":{"entity-type":"item","numeric-id":2805035,"id":"Q2805035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$5877F352-F782-4C25-8115-5B2A9B5725EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f1166c2c780e84fac7578b928060fa8bdd72e28","datavalue":{"value":{"entity-type":"item","numeric-id":1188590,"id":"Q1188590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$D840F09F-4D53-4F28-887C-7F9C325B7EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7ee42bcb5651ff1d6441d36735f61656172044f","datavalue":{"value":{"entity-type":"item","numeric-id":4417909,"id":"Q4417909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$CE03D85C-DE00-435A-80C0-031CDFE8AA70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58c2c9c255250e4f835c75251934895498ba799f","datavalue":{"value":{"entity-type":"item","numeric-id":5483013,"id":"Q5483013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$1292DBF6-8E8E-4C0D-9D58-93427A632205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e58cf31dc039b2efec69d37403af0a7909b6165e","datavalue":{"value":{"entity-type":"item","numeric-id":5000254,"id":"Q5000254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7317501$DAF94BD6-1451-4696-AD17-3DA69DAAA5B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The modal logic of abstraction refinement","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_modal_logic_of_abstraction_refinement"}}}}}