{"entities":{"Q3520232":{"pageid":5550136,"ns":120,"title":"Item:Q3520232","lastrevid":48984610,"modified":"2026-01-06T09:57:41Z","type":"item","id":"Q3520232","labels":{"en":{"language":"en","value":"General Models and Completeness of First-Order Modal \u00a0-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312586"}},"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":"Q3520232$31197D5F-6C2D-449E-AC57-A322441E00C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b17ab3764b87f2777958a98c27e356b5262acbfa","datavalue":{"value":{"text":"General Models and Completeness of First-Order Modal \u00a0-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3520232$1075CFBA-9B86-431D-AD2A-83074C912556","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ebc1fb0239d7cfade48fed57f5c6c3453ac48651","datavalue":{"value":"1150.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520232$4FA5E631-7F57-4002-99BF-6BD870AB4FC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5204fccf6931ba93979bc107c2fe66e59a9ff1f6","datavalue":{"value":{"entity-type":"item","numeric-id":676307,"id":"Q676307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520232$BF317D9A-9F39-443F-ADD4-74EA1DFC0B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fdd1e5d07307794009a540901e7dbabc4deb788","datavalue":{"value":{"entity-type":"item","numeric-id":1267138,"id":"Q1267138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3520232$5234F67F-583D-47B3-AFC5-94724E87E2A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1ef753f84a9df60c660e966b6beebb9738a52b5d","datavalue":{"value":{"time":"+2008-08-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3520232$E566AC6C-9FB3-4E6B-8197-A19FDB674F1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520232$05FA27BA-A688-471F-8527-9A14B8939E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520232$EB268010-BA83-4A42-9FF5-FDADFB572C24","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dcf19d018b4e189ca375ca6217588803dc8849a5","datavalue":{"value":"5312586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520232$08CA48FC-700B-46F6-AE6D-7B332271CD29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520232$9BE3795F-9FE4-4699-80EA-60E4364A432F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520232$FB16697A-8440-473A-AFB3-6BF1E4C41BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520232$ACF09EDA-8E6D-4F3C-BE8C-26BFB170FD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520232$2345213D-21B5-481C-BC0A-78FFBDE83BF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3fb4f5194d81507c73a7b34ef5a58fb9d4453d","datavalue":{"value":"general models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520232$8A0937AA-182C-4C32-945E-8134FE269B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3520232$EDB27BD4-6A60-49E1-B9EE-0B1D8AE2095A","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":"Q3520232$A02C235E-147C-4D3F-9DAF-D1F0129CA06B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"24c33655556a39f93d52327ee61451b5ad41a173","datavalue":{"value":"https://doi.org/10.1093/logcom/exm077","type":"string"},"datatype":"url"},"type":"statement","id":"Q3520232$FBE8F72F-191E-427C-9D58-B975F51FE61C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb7b602411ca37763b4f42a4b0ca74efe44a3ba3","datavalue":{"value":"W2054834413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520232$677BF4E3-F514-4C25-B38F-B88E67B00E93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0ba51dcf78797c24147ac1331a0d61ec2d48250","datavalue":{"value":"10.1093/LOGCOM/EXM077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3520232$743BD59F-D75C-4521-B0D9-C5D780EE0E1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"138d3139f4cc5aa61b1802a68a1a6b5c684e9706","datavalue":{"value":{"entity-type":"item","numeric-id":606994,"id":"Q606994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcdbf4c664085d06ee6c5dd8484aa349b96923bd","datavalue":{"value":{"amount":"+0.8332013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520232$0C2434CE-AE77-44A6-8DD9-4CEF2EB6F73B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c6343f32cd8650c017ed3dfca336f2278aa42b6","datavalue":{"value":{"entity-type":"item","numeric-id":5689266,"id":"Q5689266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a103aa0765b452d36791bbcd72ee6de065869a42","datavalue":{"value":{"amount":"+0.79344153","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520232$34B3ABB8-DA82-4878-87A0-19C12262790E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"740dc471e0b6a212d694c17712f2cfdc4eef21b9","datavalue":{"value":{"entity-type":"item","numeric-id":2760241,"id":"Q2760241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f66a96f1a2554ba66ae22ec0043231f7515edcb","datavalue":{"value":{"amount":"+0.7925788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520232$7735B1E4-96DA-49FC-BD92-F19631964FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ade23acfe3c07683f960ab20fd5818d84d8f28f","datavalue":{"value":{"entity-type":"item","numeric-id":3002404,"id":"Q3002404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d9f5a45d5fd0b6f605b10467ceed01262173b4d","datavalue":{"value":{"amount":"+0.7881173","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520232$23A7B1C0-4D56-4B6F-AD28-5CE4BBAA10F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0095654446119627593dfe20de7d001e2b3bc950","datavalue":{"value":{"entity-type":"item","numeric-id":5144634,"id":"Q5144634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18a0600b0fd3905e176eb94376c87c4a9810e6d0","datavalue":{"value":{"amount":"+0.78227496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520232$A3880D90-6299-4A4A-A6B6-32CEB755440B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e0d17050f52afbcebc05fb6e2dc95eec60aae6","datavalue":{"value":{"entity-type":"item","numeric-id":3656762,"id":"Q3656762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c5374907636e81bef2a46dfaaa5322c8a34d307","datavalue":{"value":{"amount":"+0.7818893","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520232$394DE3B7-6698-4797-9D86-8A4156B9FA40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb98a717377b511b6a99fd65a6ea8dbf72099eee","datavalue":{"value":{"entity-type":"item","numeric-id":1854336,"id":"Q1854336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c07b65655722a18f6e0866828af6a5b20837e25a","datavalue":{"value":{"amount":"+0.7769089","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520232$A4D45463-0007-42F7-B370-ED88681BAB8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec36172d005e4eb4f539d380bc30ca077d8ca169","datavalue":{"value":{"entity-type":"item","numeric-id":4603451,"id":"Q4603451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"904bd9df693b83be6486585ec91f4882d4cc170b","datavalue":{"value":{"amount":"+0.7760464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520232$3FF2A3F7-4A29-42EF-BF5A-BE73AA437FAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f5ec32bb26c0533c9e4e2724b0026441189ad14","datavalue":{"value":{"entity-type":"item","numeric-id":2303578,"id":"Q2303578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"445950cc88cf70e6060dbd24c1f43a971ccb34a3","datavalue":{"value":{"amount":"+0.77508014","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520232$243C6794-FA88-4F18-92B5-8FB05A27F151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07786bf78d20d176a1e1d0a16a93b3e09b8c0659","datavalue":{"value":{"entity-type":"item","numeric-id":454371,"id":"Q454371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f188f8d43c4aa83203e97e64e4fd630280e820b","datavalue":{"value":{"amount":"+0.7737484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3520232$EE1FF393-0D15-4FCB-AECC-9D8443454DBB","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":"Q3520232$24AC29EA-E123-4045-8608-E34E6C9B1C4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3520232","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3520232"}}}}}