{"entities":{"Q3457212":{"pageid":5236612,"ns":120,"title":"Item:Q3457212","lastrevid":52413110,"modified":"2026-01-22T14:29:39Z","type":"item","id":"Q3457212","labels":{"en":{"language":"en","value":"Implementing and evaluating provers for first-order modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6519595"}},"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":"Q3457212$5D157C15-4476-4E78-8865-C595A94715E5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aab96ec04b493a0edbf1bd6e56d36f9cd0d7bda","datavalue":{"value":"1327.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457212$B486F715-A387-4F42-B90F-A9711EA759FD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457212$9872CA49-A9E9-4985-8030-DBCF0515B46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2d00c1197e57bdc49c1c8779be1049cb4d10dbd","datavalue":{"value":{"entity-type":"item","numeric-id":877896,"id":"Q877896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457212$42405FDB-9A7B-4353-AAAE-5E5CD9163DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67bd31a228240db87ccebadcd822c2f02977875e","datavalue":{"value":{"entity-type":"item","numeric-id":877895,"id":"Q877895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457212$415F4B2E-707F-4172-A75F-E32E61836A8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f98ff43191c7d2cedf25947a17beeb973f5b0c2","datavalue":{"value":{"time":"+2015-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3457212$7E6F5AC1-AB49-4D0F-BD75-125653E081EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43e2cd66d880bf28ad073458d7bfb0d09460bf10","datavalue":{"value":"http://ebooks.iospress.nl/volumearticle/6966","type":"string"},"datatype":"url"},"type":"statement","id":"Q3457212$F63D9340-3B21-4116-9E22-1BC76A47156B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457212$CD666955-3662-46B0-B6A6-F6EC296193A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457212$2062FAF1-35EF-4E34-BCD1-D1E37556B715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457212$E72E7B3B-30EC-4944-888E-DE490378583B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"75e477204e069d938134dcf78396b5ed3f729b56","datavalue":{"value":"6519595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3457212$830616CF-6880-492B-9C50-A75A26C70841","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bccd1d0bb2717360c541381c661e7bb40d86b318","datavalue":{"value":{"entity-type":"item","numeric-id":21962,"id":"Q21962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457212$6EF3D7A4-F143-4F27-880B-A3E174D68037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"824e66560bf30b02805a91f52441dbc38109d38d","datavalue":{"value":{"entity-type":"item","numeric-id":21736,"id":"Q21736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457212$F36AEFB5-B0F7-4B2D-98B4-9F746D5BD694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ae510ff9d7026cdfae7484e5c88af62cffb92c77","datavalue":{"value":{"entity-type":"item","numeric-id":21735,"id":"Q21735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457212$00FC6D8F-CC5F-4DAB-81DF-9E625C82BAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d83b780839e730b0091759b62a50b0f768844ed7","datavalue":{"value":{"entity-type":"item","numeric-id":21894,"id":"Q21894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457212$F2CE1BBA-FA2C-47C0-87D1-5B30F682776A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457212$64DCEA4A-44DA-47F0-B664-063403A80A32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bec249a9f2158ac9024acac21e3dec3b5d305ee5","datavalue":{"value":{"entity-type":"item","numeric-id":29522,"id":"Q29522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3457212$4DF51AAD-D1AB-49F8-AF02-6DC96AC34AE2","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":"Q3457212$F2D91587-450F-48DB-9AF8-7971AEF825E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea38618e3270494f75d4e6d615e3085a3141893b","datavalue":{"value":{"amount":"+0.8468465805053711","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":"Q3457212$0F81F1E0-4DDD-4660-8FBD-8493E7D770E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dacbde12ba11a83e5f0b2e5b5eb4a7e3a0cfe3b","datavalue":{"value":{"entity-type":"item","numeric-id":3192198,"id":"Q3192198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2affd0aec72adf48ca86af16a5fbc8fa7659028","datavalue":{"value":{"amount":"+0.8099517226219177","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":"Q3457212$D955481E-5B01-4DAD-8915-1CD1FBB3FE30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c9cec7e7c1bab0322e012f270e0dade0de0599","datavalue":{"value":{"entity-type":"item","numeric-id":2908515,"id":"Q2908515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74b725cb966f898d7bafcdbb06cc09f626ffe88d","datavalue":{"value":{"amount":"+0.8074603080749512","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":"Q3457212$A2C8C399-17D9-453E-BB2E-F4380BBD1D1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7cbbce020ff19f6fbcc30f996a80e913e1a5e4d","datavalue":{"value":{"entity-type":"item","numeric-id":2870120,"id":"Q2870120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f4425fe9bc3abfaba52457a852264bb91087475","datavalue":{"value":{"amount":"+0.7944837808609009","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":"Q3457212$217BF976-F7DE-4CD3-B8AC-109203BEF897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2c9e5a90d2a3df89da9c5d708821407fe1b6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4645724,"id":"Q4645724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"756ef67e990d7cc86a265f567372b7ff8aedd31d","datavalue":{"value":{"amount":"+0.7925097942352295","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":"Q3457212$F44E85AB-5476-426F-8571-8712500643DC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3457212","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3457212"}}}}}