{"entities":{"Q2096473":{"pageid":2107216,"ns":120,"title":"Item:Q2096473","lastrevid":43513170,"modified":"2025-07-30T11:23:34Z","type":"item","id":"Q2096473","labels":{"en":{"language":"en","value":"Mechanised modal model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7614532"}},"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":"Q2096473$CE53FDD2-7323-414F-8944-9B851F59711D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8517c304fab998d3327f849091425e8041f679d3","datavalue":{"value":{"text":"Mechanised modal model theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2096473$055E9970-3226-4F65-BBDD-B65057B8171B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99791bce6ba4c6bb987cac9cbf25c586f7907a21","datavalue":{"value":"10.1007/978-3-030-51074-9_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096473$64C13137-13C8-4A1E-88AA-1472EE578FF0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30aee4516227f19403b71b28c612b340e563679a","datavalue":{"value":{"entity-type":"item","numeric-id":1632909,"id":"Q1632909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096473$0B3A3463-2F2A-49EA-8849-0B7B151AF7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"145fb4ab3c36a5f99f91a0be2758a779e5bceae8","datavalue":{"value":{"entity-type":"item","numeric-id":386031,"id":"Q386031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096473$17105D36-848D-4420-805A-ECC70DD1A9FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a54434e20074f3f6b59987a5d81b4852d3c35ec","datavalue":{"value":{"time":"+2022-11-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2096473$70F170AF-9424-4430-8E22-DDED6BF63BDA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096473$E769A020-8386-4F26-9FF9-D551F59F6F62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6079c348d935f73b470b71e1d18802916605e497","datavalue":{"value":"7614532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096473$E8B4E519-8ED5-48E2-B947-44E3577BCD33","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":"Q2096473$8950CDB8-8767-456F-845F-1D349841C904","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ef773e6b4f595fdc88bbe6ab7880d480afbe5c2","datavalue":{"value":"https://doi.org/10.1007/978-3-030-51074-9_30","type":"string"},"datatype":"url"},"type":"statement","id":"Q2096473$3C15E2DA-8EAB-460F-B157-1E3DEDB56E5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9d4e53f5fca8eabe6bf23f928dd743a55b057b0a","datavalue":{"value":"W3038297503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2096473$978F143A-4157-4119-99B1-8844443EA488","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":"Q2096473$AF98D00E-8BB5-4845-8716-9212AAD4E125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0202cb9cafa0358b07911808cfce41ae5240485b","datavalue":{"value":{"entity-type":"item","numeric-id":3192180,"id":"Q3192180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096473$B8B85777-F77B-46A2-B2E5-F9DB32585820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c859dc9bc5c44c673f4132f2e7bef4d53162ec9","datavalue":{"value":{"entity-type":"item","numeric-id":1188602,"id":"Q1188602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096473$2AEC05E3-DB0B-4CC6-84BB-3A74F94D398F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c8dda6bdcc68a3bf9c57820e44004003ef6396","datavalue":{"value":{"entity-type":"item","numeric-id":2739733,"id":"Q2739733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096473$8CDE453F-4AE9-435F-97D6-15B5CF0C60A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"205fc50b5519f69b83835852ede0d50684c7d19b","datavalue":{"value":{"entity-type":"item","numeric-id":4247076,"id":"Q4247076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096473$215F1743-2837-4B82-9D0E-13EBD1282873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d6fe43e1beba51caaa2714f0f135c7bef8ca6ce","datavalue":{"value":{"entity-type":"item","numeric-id":4222877,"id":"Q4222877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2096473$47BA6393-C34C-4658-88FB-58215131B2A9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf30b77d2cec4abcfbbdf1240f3dbc12a987ff9","datavalue":{"value":{"entity-type":"item","numeric-id":1080411,"id":"Q1080411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a1b5f0adc1ad6091ce5b4628e7ba171d11a17e11","datavalue":{"value":{"amount":"+0.9088379","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":"Q2096473$2E1C03F8-B5C3-4D80-970B-95FA8A2D724F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1ed3c121fd1e1f5055e66290934b5c7b462c674","datavalue":{"value":{"entity-type":"item","numeric-id":4570949,"id":"Q4570949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3860c62e906fc6c43b08b6ddde2eb59c30c326f6","datavalue":{"value":{"amount":"+0.90316975","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":"Q2096473$CD627495-4E32-4883-8FA8-0C6B27A275E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7443dd02829e911d0f4c1d4d823d30e1cd49590","datavalue":{"value":{"entity-type":"item","numeric-id":4394917,"id":"Q4394917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc1626d48af17e3078688f98b1613860deb3ae96","datavalue":{"value":{"amount":"+0.8982117","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":"Q2096473$19FD6994-1F5F-4E9E-A72C-E18CA156F103","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b93dacd72aee1b378532d1ac263c2d1b43b3a6a","datavalue":{"value":{"entity-type":"item","numeric-id":2277439,"id":"Q2277439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed1d4bc49f750f06e310c9d3141323007257a4ce","datavalue":{"value":{"amount":"+0.89461994","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":"Q2096473$1BA57326-FA18-411A-8ED7-545303A20274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3c996c4b214d2845adfa0ebcc045cf851d69fc5","datavalue":{"value":{"entity-type":"item","numeric-id":3584951,"id":"Q3584951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7224b04a22db27dea0383bf5ec208f1804e9cb65","datavalue":{"value":{"amount":"+0.89149314","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":"Q2096473$E6F005A8-085E-49EE-AA90-658B1293198A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e82bcdd4a3c60441a47beaa921fd2c7af57a28","datavalue":{"value":{"entity-type":"item","numeric-id":5902049,"id":"Q5902049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84e870c783a4812609a196ab95965f0c5e54c950","datavalue":{"value":{"amount":"+0.8902018","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":"Q2096473$A70E26EF-32F1-4A2A-ADF4-0B4154D3FCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4a1328b7a3864d26a2a7e6fd4e837c6109bd8f0","datavalue":{"value":{"entity-type":"item","numeric-id":1682294,"id":"Q1682294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bac9c843649cbf49df2615f1571f2a603aeb3f3d","datavalue":{"value":{"amount":"+0.8872826","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":"Q2096473$CF50DB9C-FE5B-470C-A62F-7454F339437C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf2fe545751f2ab6869d51d8048340c2b0cbcf3","datavalue":{"value":{"entity-type":"item","numeric-id":2445422,"id":"Q2445422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3709b3e56bcce84cc954758a9a762a065aef3a11","datavalue":{"value":{"amount":"+0.8862374","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":"Q2096473$9F48B68F-DE19-40D7-9546-D53E52F34E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203c28359a7966de6bc2da073dd334f6adaa7c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5311478,"id":"Q5311478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e482542238706bbd407792c6873a8e5b6a399c35","datavalue":{"value":{"amount":"+0.88557595","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":"Q2096473$9AECB0BC-5E7A-4C48-B9B9-DD7E7D1968E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f7d4a96404f77fd35cca6d55a19fd2b38dca28","datavalue":{"value":{"entity-type":"item","numeric-id":4489076,"id":"Q4489076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca18dd6c4f7d4cc0054043edd0eae24ef0433e30","datavalue":{"value":{"amount":"+0.8852791","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":"Q2096473$394424ED-9199-4B56-AF4B-9AA0D3A8F1AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2096473","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2096473"}}}}}