{"entities":{"Q4215591":{"pageid":6245192,"ns":120,"title":"Item:Q4215591","lastrevid":46650789,"modified":"2025-12-25T08:21:59Z","type":"item","id":"Q4215591","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1215459"}},"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":"Q4215591$139D91D4-A56C-49A2-B0AD-B4A0159EAE70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"af4b4e923d4cc97091ddf63745a69fbf9e5ce9e5","datavalue":{"value":"0909.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215591$DC9F1E3C-AD9A-4ED8-A088-1AF15317077B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c949b19d08555b054c7652b0ed3bca5ac3b8690","datavalue":{"value":{"entity-type":"item","numeric-id":2721188,"id":"Q2721188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215591$2CD9360E-60D5-4156-8237-20CF66924C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7310e34486d8c97a01c5d22fc59eeb9a3a66fe5","datavalue":{"value":{"entity-type":"item","numeric-id":4215590,"id":"Q4215590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215591$DFDB476D-A559-4628-9F1E-5C1A883BAEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9099c93e5d8eae565b8b0a146169c547213291ce","datavalue":{"value":{"entity-type":"item","numeric-id":456712,"id":"Q456712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215591$0A6EFAC1-C711-49A9-B240-609E2904C0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cdffd6c0744e647a7779de4c93dd295053ce3f5","datavalue":{"value":{"entity-type":"item","numeric-id":456718,"id":"Q456718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4215591$92FAB890-3EA9-40EC-8763-4B95DC5F9DE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65eef03691321bd10012d5ce599a1fd5fff18a27","datavalue":{"value":{"time":"+1998-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4215591$FDE947BB-73C8-4CEC-96CA-A504341CF9D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215591$438216D5-FC7F-4313-919F-AF2D1077879B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215591$B9DF2ED6-794C-473C-A8AB-F6A941D4BC89","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"59c65aed2908c4881613d9648d1d34ccb43324fe","datavalue":{"value":"1215459","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4215591$D85C2246-5DA2-47AF-B301-ABF03886E916","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b854dda1ac70b764365fd7864ae0dda6d048e899","datavalue":{"value":"modal proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215591$A389087F-CF7B-46B1-A0A6-432396928135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63aade5424ce7f8a5ced8a9bf17ef99cc113a90f","datavalue":{"value":"label formalism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215591$D5E2CC5B-95D2-4929-9B83-263CE8380B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e70d4337ccd63bd5a94b947eb4b97131d9622035","datavalue":{"value":"modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215591$11A0B86E-5EC9-4BA0-BC0D-2DFDAD0D9AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666779a38fa937251fc61ea056c3be2b34fda746","datavalue":{"value":"Barcan formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4215591$F1CE7603-F6A7-42C2-846F-1EB41F9F812C","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":"Q4215591$78379EC4-9808-434C-BB86-6D7E1B183126","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1be5758624164995209218217ceeac68a9abbe1","datavalue":{"value":{"entity-type":"item","numeric-id":5235254,"id":"Q5235254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6015bb355228d869da4f2d31db8d65756a00994","datavalue":{"value":{"amount":"+0.9018343687057496","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":"Q4215591$224A3B65-41B1-4B47-93DE-01C79762C3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f883bbda5a1d7ddec759552a2ac24ee6e5ad1e7","datavalue":{"value":{"entity-type":"item","numeric-id":1289100,"id":"Q1289100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cae2417547eeb916901abd0cc9e0b05a7ba933e","datavalue":{"value":{"amount":"+0.7682771682739258","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":"Q4215591$70079569-3E2C-4829-BB34-C04636D4DC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"490635eea00a529d2308f724680db1f19cfda3ce","datavalue":{"value":{"entity-type":"item","numeric-id":4381865,"id":"Q4381865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f7a1f462fe26f258a5300fc0ba907e2014fd40d","datavalue":{"value":{"amount":"+0.7670116424560547","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":"Q4215591$AE9B0EB5-9B51-4111-9A41-ABE9ADB70BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c745365d72f15e1f383418bdd3ea9fb7ef7e2f6f","datavalue":{"value":{"entity-type":"item","numeric-id":4636304,"id":"Q4636304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"073b7ec320cd00ae2c41582c72bee207c635691d","datavalue":{"value":{"amount":"+0.7607917785644531","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":"Q4215591$F7180400-23D7-4E77-9CF2-05BD6C5109D6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4215591","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4215591"}}}}}