{"entities":{"Q3338217":{"pageid":3348925,"ns":120,"title":"Item:Q3338217","lastrevid":48739741,"modified":"2026-01-05T18:21:12Z","type":"item","id":"Q3338217","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871323"}},"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":"Q3338217$C573AED9-F8B9-490C-94AC-7597C529612E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b299881e910b2f1bc51a03959bb3be148493ab04","datavalue":{"value":"0547.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338217$505E0DC0-585E-49E4-9675-0022EF44FEC0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c343d7266e3ac1f198444a571c50c523729b3f8","datavalue":{"value":{"entity-type":"item","numeric-id":820147,"id":"Q820147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338217$A3158654-F17C-4495-8BC5-C38AA70F4B24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad85fd0db6467d71e74313095d444d398003ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1097715,"id":"Q1097715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338217$1ED67A1D-60E1-426C-9E97-90913B31B494","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3338217$429CCECA-B4F2-4023-830E-F0EE6815D09B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338217$23EB436D-D347-47CF-85EC-C6464AD283A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338217$3E4AC3FE-A9BB-431D-8871-CA8BB9D42A16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338217$442766ED-FDC1-444D-8E1D-FEB1499AEAC3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2eb7d89efcf266c87e0cebb3b6f012af8efa7e33","datavalue":{"value":"3871323","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338217$DB8DAD2B-5744-44FF-98A2-5A52C8F53BF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98d8e9b44098982d3c9e451a96c4b9d0f344ca87","datavalue":{"value":"generator control mechanism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338217$CBAABB9A-3891-4BF0-85A4-0F3BEF03CF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"125d1fbd909b9a7c2cfcf72863a852497fe4d340","datavalue":{"value":"converse of contraction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338217$11DA2EFB-753C-4635-B9A4-4A9F86F3EED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338217$52D62E09-A9EF-47E8-9B9F-887A96D53E5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4eb512bab38edca51fc26b3cf5cb449355ff8c","datavalue":{"value":"resolution-based theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338217$22CC11DD-6715-4530-9E0A-1AFE87CCD7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3f01c577e083c411fce6b5faf89195bf8218754","datavalue":{"value":"generator clauses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338217$7AF1CD21-9DBF-4036-9E82-6EB20B93BC79","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":"Q3338217$B2C307AC-BACD-4E18-A0C6-470A95B63212","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c99f4be2e494ef6df6a66e4bc9b2f2d793a701a","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a7fa80e44b209d7aa6209ac629e5560fd2307b8","datavalue":{"value":{"amount":"+0.7492316961288452","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":"Q3338217$EBB12DE4-0073-4F59-836B-4C1FC0156ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc5eb68999c3412297b5ef52f0fb23f5595c190c","datavalue":{"value":{"entity-type":"item","numeric-id":3804236,"id":"Q3804236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24f39d4eead8ab10bddde1f5eda201efad637cda","datavalue":{"value":{"amount":"+0.743238627910614","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":"Q3338217$4E7F10E9-E16D-47FB-807C-3C823D6B54CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a42fe5b10cd7a85cb73b625a16f6530f794c72","datavalue":{"value":{"entity-type":"item","numeric-id":2385426,"id":"Q2385426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76284f3154797a1224acec5f07b8eff6c50ff0da","datavalue":{"value":{"amount":"+0.7403550148010254","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":"Q3338217$42FAB27F-C9D7-425C-AB50-A9F821C28719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4166e17fbdeeddb801569cb7c71ca9bef0cc5872","datavalue":{"value":{"entity-type":"item","numeric-id":1181717,"id":"Q1181717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f453a8671545043d5e601a8c09c071b160a650","datavalue":{"value":{"amount":"+0.7319512367248535","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":"Q3338217$8A1671FE-FD60-4CA0-8427-D8E69BCD215C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b692fc79596a979bd00961137e3d3df5ae9a89e3","datavalue":{"value":{"entity-type":"item","numeric-id":1098335,"id":"Q1098335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b14f6ec7741ab71408a6d135b1551b185326afa6","datavalue":{"value":{"amount":"+0.729496955871582","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":"Q3338217$4DE5A599-789D-4B4A-9CE8-23AA2E328D2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3338217","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3338217"}}}}}