{"entities":{"Q4248542":{"pageid":6278143,"ns":120,"title":"Item:Q4248542","lastrevid":46829682,"modified":"2025-12-25T16:33:43Z","type":"item","id":"Q4248542","labels":{"en":{"language":"en","value":"General synthetic domain theory \u2013 a logical approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1299967"}},"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":"Q4248542$F165A83B-34AF-4754-98B0-79FAD1BE0D1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79a80e08befeb90066015b533679af5537f05a97","datavalue":{"value":{"text":"General synthetic domain theory \u2013 a logical approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4248542$B573DCD3-9672-4A1E-8E27-7F83E3E5CD3C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ad7d4cdbafd6ddc160078bd8318924115b6e9e00","datavalue":{"value":"1018.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4248542$5A1AD3BE-B87F-4F4D-9DB4-4B8D2873D301","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0378c86c9e94a48b16a89c4cf4907c71b3c08b42","datavalue":{"value":"10.1017/S096012959900273X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4248542$7D509798-2E65-4D0A-AB46-A41E73461326","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4248542$82A25E00-7DD8-4158-9818-D973BCF1B376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4248542$04AB218C-C0E9-423B-84BB-47DB8F7B1986","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4248542$7FA1C552-3901-438E-9548-E607FFDE1FA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"929dcec314ec687cefc4e7505248d72409a36c7c","datavalue":{"value":{"time":"+2003-09-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":"Q4248542$9EC3F730-EC4D-4AD0-AFB4-B14BB108EC42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4248542$0E7E318D-78AE-43C3-B7C4-89E836D3B44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cf173b17cb29f39acd7ecc1fdf48aa6cf6900643","datavalue":{"value":"18C50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4248542$C251FE04-F97D-494E-93AC-B091794E94D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4248542$33B361E4-5EE9-4E41-AC93-15D413539B35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e49f699f6920c05eaf813b2ed45d07d33429690","datavalue":{"value":"1299967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4248542$B09A6161-E757-44C7-9B70-158B3DA776E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4e45185463b5e772fbca77d3925506061cb10f84","datavalue":{"value":"synthetic domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4248542$C43D742D-653B-40A4-BE62-FC0A514D337C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4248542$3911CB06-4363-40BE-A1C8-F90902E39A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"15ec49e65a676d9d8f765d37bb1f7e088809aa36","datavalue":{"value":"predomains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4248542$A56242F3-C43E-4CA9-9DCD-5C85F7846AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca349b7534ee4c6daef46219f1870f6141cd3cfb","datavalue":{"value":"induction principles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4248542$D970FCC1-91D4-473E-8150-B534CE0EDC02","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":"Q4248542$546716EA-8742-4690-9D80-E47BACE559E4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d7b66699456ffd7f6f5a99ef6ab6b354036e7a","datavalue":{"value":{"entity-type":"item","numeric-id":4362975,"id":"Q4362975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bd1b402a732707ca31af97c90a7a6fcb5def0e2","datavalue":{"value":{"amount":"+0.992832362651825","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":"Q4248542$2BFF2291-19DD-44A0-B1F9-7F6D6337E205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f712d4fdb32936fdefb5a269f6c441dd791e2be","datavalue":{"value":{"entity-type":"item","numeric-id":1961922,"id":"Q1961922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6763737afea559884ef6e8ff77ae872f48ae6ef4","datavalue":{"value":{"amount":"+0.9083329439163208","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":"Q4248542$E8F8634A-6859-4BBC-B3FB-8B43024384DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2f50c31cadcef579783bfc9c14d73a918e4206","datavalue":{"value":{"entity-type":"item","numeric-id":424548,"id":"Q424548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d008720fdc29680b751aa5bbcb70133e64f5890b","datavalue":{"value":{"amount":"+0.8603443503379822","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":"Q4248542$0F4BA061-E4CF-4F66-AAC5-3894A038D458","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4248542","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4248542"}}}}}