{"entities":{"Q2996331":{"pageid":3007055,"ns":120,"title":"Item:Q2996331","lastrevid":45220195,"modified":"2025-12-03T10:44:06Z","type":"item","id":"Q2996331","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5885155"}},"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":"Q2996331$ADED5B91-91AE-495A-BD80-06C8EE4845DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"108cf45a53ff9d81906296070bed333e458d4b03","datavalue":{"value":"1253.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996331$378E41CD-9EF9-4480-8345-64ADA2A763F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"617513ed20293f92b2f67987461eb17d18d83c6e","datavalue":{"value":{"entity-type":"item","numeric-id":2133447,"id":"Q2133447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2996331$3BDA8087-4450-4265-897F-705159A0E388","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da3b7e36e778e75704c29271af6d74f1ce8cd89","datavalue":{"value":{"time":"+2011-05-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2996331$C747AF14-585C-4301-898D-15DB14ED2B3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996331$7BBD1188-7B5A-46E1-844E-C62FF64F3F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996331$5B0C14EE-C8C4-4A32-B108-0C4C3F4C262E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996331$A6520E69-11EA-4BE1-9FFB-5F8AA9D990ED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c76c270032afc3778827c3845addf9730c333aab","datavalue":{"value":"5885155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2996331$FF0F50C3-DD7D-48AF-A75D-BE1462185A64","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00778cc8302e54679808696d876b6463d1676c84","datavalue":{"value":"expository paper","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996331$33DD35B9-3CFC-40A9-8948-96354E71C9FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbacb52ae631bd368c679aa087072ddcbe62da72","datavalue":{"value":"second-order classical propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996331$58EFE5B8-CFA1-4F6A-8E08-57932F80611C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac2260f76f79a0908063211cd2aa3f10191c097a","datavalue":{"value":"second-order intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996331$6DF37D58-9AD5-4521-ABB2-6FD125865C34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b1fbc44e6765ac7fbba386f6de2700d94c8b25","datavalue":{"value":"semantics for second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996331$490488FD-75EC-4FEF-8D9A-34604F0355D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf6591587764c22ce70b1d18c7166af01e51e63f","datavalue":{"value":"natural deduction rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2996331$C39DF5D7-1289-45B8-B48B-E1097E62D99C","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":"Q2996331$6EE5121F-7F40-4543-95FB-8A5C7BD2D141","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"707db1981fe6eab7fa775f0479ebe8e86ba0313d","datavalue":{"value":{"entity-type":"item","numeric-id":4428872,"id":"Q4428872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8ebe02628d3eb89c3f470f46ae79605b780168","datavalue":{"value":{"amount":"+0.96670353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996331$4F6157C5-2D84-468B-89E2-D797CE689F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64d9dcb91b23bd12df086c4bb96c1b130da3b384","datavalue":{"value":{"entity-type":"item","numeric-id":4523459,"id":"Q4523459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f783ccbf7b77ba9638ad46f25d0824e7e72f9a8","datavalue":{"value":{"amount":"+0.94501364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996331$C825C3B8-6D80-455B-9F89-68866FC9D09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ff503b436f52c14c7b1250081c36c6f5d1197ad","datavalue":{"value":{"entity-type":"item","numeric-id":1203783,"id":"Q1203783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97ad39ec79a84ad7fa5e9b8709b269af297a707","datavalue":{"value":{"amount":"+0.93534964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996331$F7517B61-2D27-4F68-B3D5-1C90FCAB1911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aab5bc4e7ab5e744d3041a47d0969255471ea5dc","datavalue":{"value":{"entity-type":"item","numeric-id":2499295,"id":"Q2499295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7617d9d86bb11babf7b2423d7f90faa2c0def030","datavalue":{"value":{"amount":"+0.93081194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996331$F817C634-FDF9-45A9-8AA7-A9DE81E64496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531aaec7c6d5487fbf93740282443c343b70c7e9","datavalue":{"value":{"entity-type":"item","numeric-id":3680264,"id":"Q3680264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"657892c8daf2dad7e969d85b2212340cba059acd","datavalue":{"value":{"amount":"+0.92948085","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996331$A20BC797-E769-4917-B9EB-856E66E59A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd0ac18de1ce43e3685a00fc6b86542d78060272","datavalue":{"value":{"entity-type":"item","numeric-id":5137234,"id":"Q5137234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ef8b6f474e68e218acf5e371a582a9f4fdebcd","datavalue":{"value":{"amount":"+0.92614985","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996331$77EC7ED2-5D16-41A8-AAB3-F16193EE187F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5eb07dcb2f22fed3fd3f3b504542c918a76e021","datavalue":{"value":{"entity-type":"item","numeric-id":2053351,"id":"Q2053351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47b2646d34b1533a7274eb91a7e151349e969778","datavalue":{"value":{"amount":"+0.9209612","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996331$0C6A025B-9D5D-44DF-A843-005D315CEA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d664edec390a3ead36486b1627178855cad7cca","datavalue":{"value":{"entity-type":"item","numeric-id":3643314,"id":"Q3643314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8a4a5ff5abccca185f2fc22c6b208a95a1080b1","datavalue":{"value":{"amount":"+0.9195792","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996331$F3AFF106-EC5A-4F0C-A0D0-847EE66C5665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"113649a2c6a2c681ca1ba154528ba5ff12c42867","datavalue":{"value":{"entity-type":"item","numeric-id":5495519,"id":"Q5495519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c7f59a7ddf409aa2665008829ebf68ebd2e94a","datavalue":{"value":{"amount":"+0.9188415","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2996331$A3667E8A-1606-4C4F-9938-EC7D78F5EF55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2996331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2996331"}}}}}