{"entities":{"Q3475253":{"pageid":5467777,"ns":120,"title":"Item:Q3475253","lastrevid":49371664,"modified":"2026-01-07T01:24:00Z","type":"item","id":"Q3475253","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4143955"}},"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":"Q3475253$147850CA-3EF9-4A75-B0AC-5F30A567B80D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"393af461d00fd404b19c6722f8c7c29a072e04ce","datavalue":{"value":"0698.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475253$E7F861E6-1976-4737-BDA2-948A97DC26AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3b7d96d2c68882294e26baabd03e0c606a357194","datavalue":{"value":{"entity-type":"item","numeric-id":800718,"id":"Q800718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3475253$B98773B5-2C89-46DD-83D9-9C83C52294CA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3475253$5A75AAF6-7A4C-4858-AFD3-2572015CDBEE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475253$FCCDE602-9B52-45DF-B531-7B0DC79218A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475253$B0DF94C9-8A8A-4AAA-87A5-7AF9A34958CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475253$8F3DD7A5-2004-4559-8829-522E98449319","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4bc6a77e2885429f85099ba183fa85c95d7acc19","datavalue":{"value":"4143955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3475253$373C34FA-EF7A-406B-91B9-72737F46937E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64816d0c1d55b330a0b61284847d2ce7f9a36edc","datavalue":{"value":"law of the excluded middle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475253$103FC20D-58AE-4210-8DA0-AF4E5E4E2D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33796e6687d5e9a9f2a044d2c5eb9a37b5620f25","datavalue":{"value":"Martin-L f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475253$0EBF2440-6978-4AFC-8218-43DCE719AFC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3300d494d834018bd4caaa8717cf9394d7055b92","datavalue":{"value":"reasoning about programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475253$3AE1EE39-1038-4ED3-8501-B7E45BE2E181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a097604da05c1caea50599843e2417765db41751","datavalue":{"value":"nonconstructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475253$413CA68B-3EC5-4533-86F1-0355B8C7AF13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3475253$EC9A9EB3-5617-4548-A4EF-0C2377F943FC","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":"Q3475253$557BB6E5-4B52-4632-B749-6AF14CFF3D32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318d6fb99941ebfef40dbeca7b4f5afc2330dae1","datavalue":{"value":{"entity-type":"item","numeric-id":3740203,"id":"Q3740203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec827e5c41ae3e3a61228c0cd3b06c014eb4821","datavalue":{"value":{"amount":"+0.7962064743041992","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":"Q3475253$7F18B8DD-829E-4291-A8CF-67F112AEAE2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2371d7e39e67f9e097929f3463bbc28fc00218d","datavalue":{"value":{"entity-type":"item","numeric-id":800719,"id":"Q800719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad337b18c713e8c78dc59c988c4bdb6992e777e","datavalue":{"value":{"amount":"+0.7961981296539307","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":"Q3475253$85B1A041-96C5-420A-BDD4-AFE304CA7BE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c823eb76233e4855e66828e769991a47beaee71b","datavalue":{"value":{"entity-type":"item","numeric-id":1190474,"id":"Q1190474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2305b99a8a4e0f2009da6204fef8e72423b4187b","datavalue":{"value":{"amount":"+0.7876866459846497","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":"Q3475253$5883D75B-271C-4284-965F-103F5E55D9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7adb91e372d96708dbca2b941b10119e0da2b63","datavalue":{"value":{"entity-type":"item","numeric-id":5951523,"id":"Q5951523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66863348f5b2e7b754170464e92743669beb3d97","datavalue":{"value":{"amount":"+0.7628474831581116","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":"Q3475253$42248136-B87D-45F5-8217-CDF8EB42042A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994abafcebf920ff08b53f01fe6fca3bc5aaf07b","datavalue":{"value":{"entity-type":"item","numeric-id":4038676,"id":"Q4038676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84fd30d6303eab2d31c04f25c721f5a6b33eb700","datavalue":{"value":{"amount":"+0.7620629072189331","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":"Q3475253$D3EA6553-DA7C-4097-932C-D39D1758B4C8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3475253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3475253"}}}}}