{"entities":{"Q3050399":{"pageid":3061115,"ns":120,"title":"Item:Q3050399","lastrevid":45347776,"modified":"2025-12-05T22:39:58Z","type":"item","id":"Q3050399","labels":{"en":{"language":"en","value":"On a Formalization of the Non-Definedness Notion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3645059"}},"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":"Q3050399$3613CBF4-7807-4D77-BBDD-93E1C9E804B8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2306c69c6810732d77b3447e3b146e673fd1df9","datavalue":{"value":{"text":"On a Formalization of the Non-Definedness Notion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3050399$391DC048-3DCC-4041-8F55-42FB27A42D88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5594319b77a0bbb9c65d312cba93ce483a49bbc8","datavalue":{"value":"0415.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050399$90799CA6-9690-434E-819C-D777E7CD4C91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbe94c692c76aec569a39b27b55519589f7ac126","datavalue":{"value":{"entity-type":"item","numeric-id":590723,"id":"Q590723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3050399$3A4D6609-8288-430D-AA12-EA35D043075C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3050399$660F4180-209E-4C37-9564-B82452222C2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3050399$0012B432-4C53-4C92-AA77-0C8466824056","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050399$62EFAA0E-D1F0-45A7-B455-7962EEE17AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050399$B6E6C9FB-DAA3-4FA7-B135-3CFCBF920E52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e671cb9a7cd5542f21890d12b2e8ee004a8c8889","datavalue":{"value":"03C99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050399$DDEE68D7-23FC-4ADA-9765-E5D6B491569F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"36d4ee2aca74c4c0df9926d6f3cf4629e4beb1fa","datavalue":{"value":"20L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050399$997BD7EC-03EC-4B6F-AB0C-8CD835DF220D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d09d696fa357365f057a7c984fce6a109a5f7b70","datavalue":{"value":"03C60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050399$E4524413-D236-41CC-AB30-8501035CFFBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93ac2f2a6310f8cde2ded586890646c81f7a8de9","datavalue":{"value":"3645059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050399$167FBC93-E982-403A-8C48-EFEC96A68EB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0eb05efd2b7e53c1dea2ee57ab51c3da0b2f8e5e","datavalue":{"value":"nonclassical formal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050399$D119B62B-8804-42B7-837C-F83CEAD6C515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b838261c78c4ae7442badafeb6cc147e9d09de5","datavalue":{"value":"many-valued logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050399$0B48C2B6-DB29-491F-B493-FA5B739C71FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f814d22ee770118a502f70ed1b428d672af4cf47","datavalue":{"value":"formalization of the non- definedness notion","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050399$8E797F05-E8BA-40BC-977D-C1E36B55A7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050399$F60327F2-9ED9-43D5-A2EC-5BA6164A3C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8625e7d4c1292e8a78b0e3d7366b018db21a5521","datavalue":{"value":"deduction calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050399$651B3AD2-B350-4D26-AD66-5BF4719556CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb86eb6f0f827547a1dfc16960d55fcff143b7d8","datavalue":{"value":"Brandt groupoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050399$6FD1216E-BE70-4004-B22A-E0E7BE79E27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050399$DD49EA27-4904-42F1-BBAA-FE09487ABC2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"351398f8ad97306948097dbfcdadd635c36dc0ce","datavalue":{"value":"generic model theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050399$60FC3E5F-AB08-4B68-8F20-678A5615F403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"145122a4e9209e30cddd8aa5a9074a618a22c369","datavalue":{"value":"omitting types theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3050399$60F5A71F-9C87-4186-BCFC-03D9987F9BC6","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":"Q3050399$8E91115C-38F9-4A87-A60E-1ECB895EA8E8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85b8d67bdd942de06d3fcc2d888d82587af8468a","datavalue":{"value":"https://doi.org/10.1002/malq.19790251304","type":"string"},"datatype":"url"},"type":"statement","id":"Q3050399$5A1F5F58-150B-4E6B-BD98-8E8B62A13DD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fcf5a1bcf54050976aa9df957d4b1cac53f09f1","datavalue":{"value":"W2031155999","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050399$671261AF-F421-4221-8E3D-79724949CB6C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43e4904607ab2e72ec1273581237b9a458ef0bf9","datavalue":{"value":"10.1002/MALQ.19790251304","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3050399$AD8C1BED-D9EB-421A-828F-FFCEE920394C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3050399","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3050399"}}}}}