{"entities":{"Q3179402":{"pageid":3190110,"ns":120,"title":"Item:Q3179402","lastrevid":52706879,"modified":"2026-01-23T07:59:44Z","type":"item","id":"Q3179402","labels":{"en":{"language":"en","value":"Deriving inverse operators for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6667709"}},"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":"Q3179402$60E14740-948D-4A7A-B74B-1506A97378D5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04daa1c75acaed03787abfe1dc5238b9b57ed3be","datavalue":{"value":{"text":"Deriving Inverse Operators for Modal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3179402$F46B7F9A-8E90-407B-B2E6-E35EDED4CD81","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5dfa3331be01892e47e9b39d97115c3bc6edff3","datavalue":{"value":"1482.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179402$AD0FB5DD-7348-4259-A0BB-CE6C09DF8604","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e3e2ef365edd801b789daa20d9999889fa8ce14","datavalue":{"value":"10.1007/978-3-319-46750-4_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179402$7881E44F-39B0-4C8B-8D0E-FA7C404EE8FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6552c38bdcd2bfd20689e17111e3542e5653c5c2","datavalue":{"value":{"entity-type":"item","numeric-id":347364,"id":"Q347364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$3F4ED318-09B7-4C7C-B6AF-990F4470D456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddb2f76810a0f5596c1e24da75e2406c033bcf1e","datavalue":{"value":{"entity-type":"item","numeric-id":347365,"id":"Q347365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$F9A2DE9C-8729-4254-977A-334AD60F3C6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4051b2567c695f7f8a30202ccc538d55f9383f11","datavalue":{"value":{"entity-type":"item","numeric-id":347366,"id":"Q347366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$DE7F9435-3F13-4D00-96C4-62D5506BEDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"955d121ef1e65adb5c21b330efd8a085cd4a50fb","datavalue":{"value":{"entity-type":"item","numeric-id":347367,"id":"Q347367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$FD831CD9-EF8C-4E3B-973A-4889A5683BA7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"96b799bc507f1a598de85f391b2f2fb813846caa","datavalue":{"value":{"entity-type":"item","numeric-id":3179386,"id":"Q3179386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$28B4015C-E7CA-4B3E-B6F2-D862971FB524","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3828a03a027ab495f54f036846c4548856b1f3df","datavalue":{"value":{"time":"+2016-12-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":"Q3179402$86BA2D68-5B7B-4754-916A-E014BDA25AEB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2e72408b762fdc18b05ad216143a617bf2aa3958","datavalue":{"value":"https://hal.inria.fr/hal-01328188v2/file/main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q3179402$8F0F0D71-628C-4967-8D08-174EB26FDF8E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179402$A73D84FF-9100-4070-97F3-DAA82EF385AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179402$DBE12D28-4C09-4923-869E-BC44FF233274","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9cda1979769ef5baf53864ccf92bbc86852bc54","datavalue":{"value":"6667709","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179402$62AC5DA8-23CC-4D57-96F8-7F25E6E6B0EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179402$F9E29E36-EA27-4CF7-8046-0A5A39DA6DFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4377be732a8e3089067b1cb92a96b250108919c","datavalue":{"value":"inverse operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179402$1D45CF93-CF44-4102-BAD0-0A1D82B42454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49097a6a646d9605427866b5a7b7d49dd8318e87","datavalue":{"value":"constraint systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179402$9D547C1F-0A97-49B4-B6CB-3E525F628C1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"578d22b4943d233d02ade801f210524a90ddfdff","datavalue":{"value":"modal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179402$D303B1BF-2207-40FD-8F07-94BBEF0F12EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3179402$3BC21CD6-BA94-4F7B-AFFC-C363E3318AF6","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":"Q3179402$11673472-4AD7-4B91-AE81-4DC1415A9A4F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"471fce3ad3c458f9442756c0b6bae56329ea3d4f","datavalue":{"value":"W2522715943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3179402$783A0548-F4DE-430F-8B4B-4167730730B5","rank":"normal"}],"P223":[{"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":"Q3179402$3EA757FE-D98B-496E-A22D-5D4B7B5A0BAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98252c3c8bfd426068fb5d970e565df498f1ebfc","datavalue":{"value":{"entity-type":"item","numeric-id":671989,"id":"Q671989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$BE13BB1B-E4F4-417A-82DC-A9CCF6A7283E","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":"Q3179402$725607C1-694C-48D7-A66A-EA4FF6974D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb64f2ceea325c2bf88a3bd5b7cdadb2f1e0fe9","datavalue":{"value":{"entity-type":"item","numeric-id":3358716,"id":"Q3358716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$FD55F1BE-EA73-49AB-8F79-7219F42C50F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$AD0C7850-8DC9-4225-8A0A-6CE952E681EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0075cc4f82c18d864dcb2bee65932bb039b961c8","datavalue":{"value":{"entity-type":"item","numeric-id":1854410,"id":"Q1854410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$8B573010-31FE-460B-A96A-D3DC7ED39D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$273E073B-CFBC-434F-A315-FDF474BFA8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68eaf6bb04b071a667b751c8bd96698cecb13167","datavalue":{"value":{"entity-type":"item","numeric-id":3608660,"id":"Q3608660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$4CD73C11-488C-4BE7-B8ED-8A0BE12AE633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf8ebc11e5152a7aaca233f3b6037de5f36fc738","datavalue":{"value":{"entity-type":"item","numeric-id":3766826,"id":"Q3766826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$76BE79DA-01B9-4C28-9D8C-E75F3EB47459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b6cde7067c089c08b93b59c8290ccb4c375bbe0","datavalue":{"value":{"entity-type":"item","numeric-id":2914378,"id":"Q2914378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$755FD8CF-E926-4C06-A3A4-2E34169CF4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$53F90E96-85C0-4F4A-8C8C-0ACFA82B2254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37e410b0342196b9a57a99e10bf61b541b0263c2","datavalue":{"value":{"entity-type":"item","numeric-id":1151916,"id":"Q1151916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$0CE32926-9667-4B82-A578-21A304CC8495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfe83606eec07fec39e27fe716dfbbb447faaac","datavalue":{"value":{"entity-type":"item","numeric-id":3150207,"id":"Q3150207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$4F20E5EB-5706-4E20-9A23-0DC7D8A173C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$56A45035-D5E0-4C2B-860E-F1F016F5C26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c303769c93de867084cf6f828db3ca78e852da7","datavalue":{"value":{"entity-type":"item","numeric-id":4325547,"id":"Q4325547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$AD2DA8C6-7D56-4C87-ACFD-29D80869850A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$4594EDC3-EFA4-4739-B7C9-43E20F7A70B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01a13008b5d98c76dc23f0ab56b8f3f3fea73d6c","datavalue":{"value":{"entity-type":"item","numeric-id":4264203,"id":"Q4264203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$852099AA-6965-42F5-A6B9-8CABDA945003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10145b27abe44a573e8b47bc6f0305e8117c9832","datavalue":{"value":{"entity-type":"item","numeric-id":1357671,"id":"Q1357671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$CED6DD4E-D715-415A-A440-70BF6EE21FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c970a502c8d77a07e62134e2a8a323cf4e646f","datavalue":{"value":{"entity-type":"item","numeric-id":4716293,"id":"Q4716293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3179402$261A3E5D-E973-4D51-86C2-5AAD9396DF58","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7051f69f20cbd24c8d36c2b2a112f1d62ba6e6e4","datavalue":{"value":{"entity-type":"item","numeric-id":1786563,"id":"Q1786563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2628e14e6327333456597855f2ec6908bd860b","datavalue":{"value":{"amount":"+0.9422937035560608","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":"Q3179402$35D056AA-0613-4065-AEAE-43952492105F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9247bb625063ff58eedf39f5ce2116d0fbfae748","datavalue":{"value":{"entity-type":"item","numeric-id":5240218,"id":"Q5240218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f7a24c161411b5c0886c55571cc467ec07dffb5","datavalue":{"value":{"amount":"+0.7305366396903992","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":"Q3179402$101C79F7-6BD5-45EB-BA2C-EF9C6D104FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9c6583af7fe8df66a4e92daf0212373b3efd29","datavalue":{"value":{"entity-type":"item","numeric-id":1370458,"id":"Q1370458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02b18ddacd82daf91a960e71912d3b550eae65cd","datavalue":{"value":{"amount":"+0.7109927535057068","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":"Q3179402$009C3750-4CC2-483F-AA89-81410FEC46D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b7f2a5b8283e576a7d039c2c342c1b8480137d9","datavalue":{"value":{"entity-type":"item","numeric-id":2914378,"id":"Q2914378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"774df6988e48e7ce6b5895b2eddab19f666017b9","datavalue":{"value":{"amount":"+0.7050656080245972","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":"Q3179402$EB6DA4EE-9488-43D0-9FA7-651C337F099B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d245440d6e7b24402aaf872d7e44f524f66bc750","datavalue":{"value":{"entity-type":"item","numeric-id":4484489,"id":"Q4484489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c201fb87105c1dc36ea0d25c35e20fac3c9d258","datavalue":{"value":{"amount":"+0.7016305923461914","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":"Q3179402$3F940566-5031-40E0-B450-7E3B0FA03517","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3179402","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3179402"}}}}}