{"entities":{"Q4250049":{"pageid":6279650,"ns":120,"title":"Item:Q4250049","lastrevid":39829760,"modified":"2025-01-27T18:01:31Z","type":"item","id":"Q4250049","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303440"}},"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":"Q4250049$40832743-9B5A-4CB0-91D3-048FAB6403A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d9c1350b66d9d6aaecfe277a68b9408a31fd520","datavalue":{"value":"0923.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250049$A4654252-3A38-4762-BD45-E936CF291230","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"803b92d7ec44162d7ca873aa947c19afebc6f450","datavalue":{"value":{"entity-type":"item","numeric-id":1945708,"id":"Q1945708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250049$25D1DEDE-9249-4662-B414-0D08E07DD7F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"586738407866f1237ad6aae333605b7639ea6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":1099163,"id":"Q1099163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4250049$56846504-20D1-41C3-A1B9-5E5C4EA28338","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eeeea4931e75e6b5358c627cc3e151b80b82718","datavalue":{"value":{"time":"+1999-10-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4250049$7F13682B-87AD-4666-9F77-77BF8F8B24AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250049$C9BCF031-426D-4B1C-9627-E8DE2D355F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250049$D4615F2F-1596-4635-87C5-9045B01D02C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63b8716adebcef8b61b02f923c320d15b2983ef6","datavalue":{"value":"1303440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4250049$407089B8-9122-4D0E-A028-73F386FAC75C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250049$47807868-4539-4968-A956-DF861FCA96E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250049$4B634C34-DB36-4A31-9E98-7FD7456A7764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2beec46c3415b0f9e1d01eb339dda53c283a8d56","datavalue":{"value":"Guaspari-Solovay system \\(R\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250049$BAD11E55-300D-45F0-B50F-32484019E754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86a211563417d9fa8879ec1c596d61f26e3e1a1b","datavalue":{"value":"witness comparisons","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250049$15637967-CC0D-4D7D-917D-31DB1CFD465D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c698dcf41d24169436214f09665465ebb63f5f49","datavalue":{"value":"essentially \\(\\Sigma_1\\) formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250049$1C60EBDD-2F6E-4F1C-9082-463BD78CDC87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9053d08db187c10a2f079980f39be3a3bf5fe19c","datavalue":{"value":"interpretability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250049$1DC90805-9B5B-4B4B-A084-303B4BD902C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4250049$96FE7082-1C25-4AFA-A599-2B50C2A85E00","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":"Q4250049$DC0F2F0B-04FF-4BA7-853A-BC9453C9EFAF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cf3e85d10455b1c220966d59e37502e38d517a8","datavalue":{"value":{"entity-type":"item","numeric-id":1945709,"id":"Q1945709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73eb9eb189126be2dee416f6bfc0940c828985c3","datavalue":{"value":{"amount":"+0.843776","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":"Q4250049$321A5406-65D8-44A5-B4AB-BC3E41A9C73F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5944d25d38431f3ab1fdde05a4bdcc76db66adab","datavalue":{"value":{"entity-type":"item","numeric-id":3081234,"id":"Q3081234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6e8cdb8b40bc48b2fedb14f9f9dcd70261897fc","datavalue":{"value":{"amount":"+0.76864636","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":"Q4250049$A46D49B2-7432-4882-BA1B-07AEEC60CCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0b4fb6948c8f54dc67ea16bd08a699892a658a","datavalue":{"value":{"entity-type":"item","numeric-id":3731573,"id":"Q3731573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7da0a2687270408622f9c979d5e3e5ee32b810e","datavalue":{"value":{"amount":"+0.7640458","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":"Q4250049$BAA0EC73-0295-439C-88E3-52B22FB1AF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7808827ea3f3a6d41ce6ed3f9aa1249b66feef18","datavalue":{"value":{"entity-type":"item","numeric-id":1311428,"id":"Q1311428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20c4bfd7cc64acc5888613a9f83b1cb5f3acc7a7","datavalue":{"value":{"amount":"+0.758072","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":"Q4250049$0B697E27-091B-4CA9-88D9-17219322155C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f5a10a238b894f2cc5fff9fbc6dc145cee901e","datavalue":{"value":{"entity-type":"item","numeric-id":4215610,"id":"Q4215610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1f74e17d6e8693404f074681d3d06ce2e80da60","datavalue":{"value":{"amount":"+0.7568692","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":"Q4250049$FBC198A6-4B40-42F2-A93B-C9B2809667C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d87faeaa284b7b90053468328f44d898ea77256","datavalue":{"value":{"entity-type":"item","numeric-id":3331198,"id":"Q3331198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38a717a6c554cb15b086701ec213b80bf02bb55b","datavalue":{"value":{"amount":"+0.7567162","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":"Q4250049$CF7CF516-0641-4BFD-ACFE-569AEFE86CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de23aebabd33253baf63deae4f5e29c291ae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3809769,"id":"Q3809769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"759ff1fc6c4e49ee81d3f8397288ce70e654169b","datavalue":{"value":{"amount":"+0.7561906","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":"Q4250049$00BF6CC3-62A2-4C04-980E-96729A24D23B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c030019ea09f918827ac4f99b8b2d3b63fc3bd","datavalue":{"value":{"entity-type":"item","numeric-id":4206710,"id":"Q4206710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c61ba7135802a9d057eea57247baa1f6075a4e6","datavalue":{"value":{"amount":"+0.7546619","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":"Q4250049$8FA17656-6944-4CDB-87C1-B1B2B51E7343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"697a9578da003ddebfcf4999c731eae925ada4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4948517,"id":"Q4948517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"513e4097e268631389858606074a1eaa708a6755","datavalue":{"value":{"amount":"+0.75282496","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":"Q4250049$76D5035B-2E8E-46D3-8D9D-D05EC68A5531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaec293d47c5ccf7a7751035abfc3ddf1ec925d7","datavalue":{"value":{"entity-type":"item","numeric-id":1685933,"id":"Q1685933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6624b7f00bda92ad7c386f83e140ee38c16d3c4","datavalue":{"value":{"amount":"+0.75276995","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":"Q4250049$506D65EC-1D1D-4C4D-93B8-01C1FFF50108","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4250049","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4250049"}}}}}