{"entities":{"Q1945904":{"pageid":1956646,"ns":120,"title":"Item:Q1945904","lastrevid":69831792,"modified":"2026-04-13T10:38:40Z","type":"item","id":"Q1945904","labels":{"en":{"language":"en","value":"On the formalization of theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154929"}},"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":"Q1945904$E2CD923A-55C6-49CA-BC07-BB0A21C4EB95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96d1d255c054cd843b10495743bf4bdd2da4aa06","datavalue":{"value":{"text":"On the formalization of theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1945904$A1B36595-FF33-4FEB-803D-0162A987C000","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9406d0a5e8309fe7f7f6639f5a84a603d5a46b67","datavalue":{"value":"1260.03092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945904$11F3C7E2-DB99-4F01-981B-B8EBF4032DDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7d03b245e867f1f311b613f0b6303a0b1665815","datavalue":{"value":{"entity-type":"item","numeric-id":416396,"id":"Q416396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945904$528A4512-BEC9-4FDA-86A8-84C726F2DEC2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945904$7AB2189B-E380-4555-93C9-2A46EFFDBB57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad757aec17a8570e2102d57df4c93baefd6019","datavalue":{"value":{"time":"+2013-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1945904$77D7CB1C-A646-4E05-8EE5-B3220659E1AE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945904$37FAE1A6-8059-4868-84A9-0E56274EB831","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c2b3f7cc4e02f3efb726f0cb3e89599db2f545af","datavalue":{"value":"6154929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945904$7FE1D842-3D58-4AAD-9CF8-33F54104DF64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b6486daa98655ce5c9c5c88731a1f55a6a6a6e","datavalue":{"value":"\\(\\mathrm{ZF}^{ + }\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945904$CBB69232-9713-440F-804B-BD627858BE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"559c2b69d7730dec74654a20fbc9b73f672fbe9d","datavalue":{"value":"urelement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945904$5B27E0F9-055F-475D-A784-F0433448C8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13d39b1e8677037c9bf8300e89f22ff33264e8da","datavalue":{"value":"axiom schema of replacement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945904$023F1E6D-B2A3-468E-8C75-7AAE2C70170D","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":"Q1945904$C49E5CD1-F387-45F8-8784-2E0AD3A64F20","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c594bff00ec8ad29d7f6f2fe087f7ef48e9adf45","datavalue":{"value":"https://doi.org/10.1007/s10817-012-9247-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1945904$0D101B54-EC47-4439-968E-DB56684BE02D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92c466098271ab04344f59c9a14d1e530bced887","datavalue":{"value":"W1987266526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945904$AD836026-787D-4CFD-BC66-E73CF73AC8F6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9e9cd00bd888e0c2ec3144ef21f154ae7d49a0","datavalue":{"value":{"entity-type":"item","numeric-id":5573370,"id":"Q5573370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945904$2164ABA7-B37F-412F-AEA7-A1370D277D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73957ae8b8d8e4774243339475abaea42bf4d971","datavalue":{"value":{"entity-type":"item","numeric-id":1233872,"id":"Q1233872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945904$1B8BBC73-2087-456E-963D-67BEED03B58D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65c8c8ed706a86d97db05d5b778c49fb79be8a30","datavalue":{"value":{"entity-type":"item","numeric-id":1144013,"id":"Q1144013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945904$7094F68E-E2D7-40B4-97E4-37DE847178D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"379aabb563751b6d1a036a33f87505b22e1c1b7d","datavalue":{"value":"10.1007/S10817-012-9247-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945904$10787D55-C11B-46D4-94AC-6756280D5D74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f607eb892ede6a0a74f65718bef071331d5de7","datavalue":{"value":{"entity-type":"item","numeric-id":5313076,"id":"Q5313076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a62b7104e719c0568ab748ddb2985c0524f2536","datavalue":{"value":{"amount":"+0.7577075362205505","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":"Q1945904$42507F88-A92E-42BA-B299-E49FEDB6B99C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f37120eab736a1f82e40f0298491ad008d55a6f","datavalue":{"value":{"entity-type":"item","numeric-id":3066779,"id":"Q3066779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0c21bf59194b9d0636d287fcaeed7c6c60c8e7","datavalue":{"value":{"amount":"+0.7393981218338013","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":"Q1945904$0D81429B-322E-4129-8773-B4BDC9F51C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03ab3463061ef3f574773eee60c97e6dfc4774d","datavalue":{"value":{"entity-type":"item","numeric-id":5477991,"id":"Q5477991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"975be814a2fe755edb0cb52bf3c8e32e34d7d439","datavalue":{"value":{"amount":"+0.7271983027458191","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":"Q1945904$D5AEF1BE-7456-4A0A-8B7E-6438185FD403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b23c11f660b1706ff55e7890c4a2d9ce33815c69","datavalue":{"value":{"entity-type":"item","numeric-id":2289699,"id":"Q2289699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2554282b9022df9c7246f604e7ebf9654fdd2dc2","datavalue":{"value":{"amount":"+0.7247050404548645","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":"Q1945904$31552BE9-2315-41A7-93FA-502C0E000270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"764cdb2d73143e9be8d9f430414780a905db7bd2","datavalue":{"value":{"entity-type":"item","numeric-id":2817908,"id":"Q2817908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"220ed6df66eb28d9b3b4b68d51896461e20c33a0","datavalue":{"value":{"amount":"+0.7238793969154358","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":"Q1945904$95865321-6286-4159-BE4B-51AD88FBEAF3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On the formalization of theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_the_formalization_of_theories"}}}}}