{"entities":{"Q3762280":{"pageid":5792186,"ns":120,"title":"Item:Q3762280","lastrevid":51826103,"modified":"2026-01-20T05:55:02Z","type":"item","id":"Q3762280","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4012564"}},"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":"Q3762280$0E871C16-C510-40F0-B491-E45D373CD3F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96b1eb4b83b0c444e64eaeb28a826392b3886ec3","datavalue":{"value":"0624.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762280$6C6308DF-561A-4A45-AF8B-D2BDFA37E3A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3762280$2AD143EC-40F1-463D-9528-981B410E2369","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762280$04B1696C-C8A4-42D1-9B4D-B671A37EF59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762280$2B2C4C89-847A-4DDB-97AA-8B2FC6DC0D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762280$28621092-C71E-47B4-8062-091F75128833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762280$52E286B5-4ABD-4933-ACED-F6F8E89AEA73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762280$8D682275-2078-4F7B-BA38-71C5CDCA65CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a5b41494aa4eb4b35c8d6dd93f5fbee9ac2cf508","datavalue":{"value":"4012564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762280$13539717-2934-450E-8AD1-EFC466337D5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdb537718b88601b09d72fcb1b6a3d3fd5d62127","datavalue":{"value":"constructive completeness proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762280$3D709E8F-2C72-40D4-B37C-8988BFD6ED96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f385836c0aa5e098d6ace403c309ca2ca18dcc9b","datavalue":{"value":"provability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762280$DBDC9F7C-DEDF-40E2-B11B-7CACF0A39E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762280$11B0E19A-5837-4EE8-B536-F30089E71434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762280$0B23F8D6-F6CB-43D4-893A-F198B150BEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"058ff8a507cd1eb986e697943a0521cb65f2498e","datavalue":{"value":"practical decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762280$5227EF33-C83B-4A0D-962E-80244940A890","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762280$528A128F-BBF4-403C-92B9-8DD3AAEB503F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb7c55a34ce0f2f4d38a378a7f2575234275c2f8","datavalue":{"value":{"entity-type":"item","numeric-id":1153137,"id":"Q1153137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3762280$87E288CB-E803-4B35-B7C6-C708A720CB4D","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":"Q3762280$BD1EF962-3DDB-4C1A-8459-8CBEB5452A68","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ab561870c7225f539ca25f1fa498ee781390554","datavalue":{"value":{"entity-type":"item","numeric-id":579235,"id":"Q579235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10403b7fa7111a848fa26f5bad400baa68e254ce","datavalue":{"value":{"amount":"+0.7874642014503479","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":"Q3762280$02F1325B-DE20-441F-BE39-84EE5A1D2C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd55ae9dcb65cece843adac76d4c010995d636a3","datavalue":{"value":{"entity-type":"item","numeric-id":4459272,"id":"Q4459272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd92c647beb4ee2ba9220e69ebff744791b0bad9","datavalue":{"value":{"amount":"+0.7789044380187988","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":"Q3762280$29757955-2C74-41CF-B94D-A09F026BD620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a1a12c1e0a5a77e2f0e3ee42f30fdeb4e0ae403","datavalue":{"value":{"entity-type":"item","numeric-id":4948542,"id":"Q4948542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499a137e8f2f4d0dc0807c6570d10fafdb75bbc1","datavalue":{"value":{"amount":"+0.7771174311637878","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":"Q3762280$D5AAC792-3DF6-49C8-8D02-7EC70AB1B53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fa58d2ca97e0eb245fbc94019da0ce6de22ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3647218,"id":"Q3647218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499a137e8f2f4d0dc0807c6570d10fafdb75bbc1","datavalue":{"value":{"amount":"+0.7771174311637878","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":"Q3762280$10E5D29D-A5A0-447F-B9F3-80BECF2C9940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"662406e0e118a553db0578f95a48c5e1b49b33c9","datavalue":{"value":{"entity-type":"item","numeric-id":1066881,"id":"Q1066881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dbb3d7fedc2cbbe1fa09fc89eb919cf09c573d6","datavalue":{"value":{"amount":"+0.7701156735420227","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":"Q3762280$6EA32F00-0210-42E7-AFCB-A0C1B664379A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3762280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3762280"}}}}}