{"entities":{"Q5202656":{"pageid":7232227,"ns":120,"title":"Item:Q5202656","lastrevid":49483366,"modified":"2026-01-07T06:09:09Z","type":"item","id":"Q5202656","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4195940"}},"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":"Q5202656$18E30042-0221-40BF-837E-CDBBB7D61EF6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"712ed039236b11515b21e92c0bff68097147311a","datavalue":{"value":"0725.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202656$4A101AE0-37E0-4198-A9C3-2D0652386E60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd7bcd31c089eea43fd8677a5426b0c7b8e7e1a7","datavalue":{"value":{"entity-type":"item","numeric-id":792318,"id":"Q792318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5202656$A4C1222D-9A93-4E74-9F09-4D27D40266E2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q5202656$0263C5FA-069D-46E0-BDC8-A3C7F3B3D380","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202656$A28FA503-CF34-4B4D-B6E1-B9052CBFBCD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b000a1466d3b8f758507466d81063b5f59b8ee23","datavalue":{"value":"4195940","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5202656$EEFAB288-6484-47CB-83BE-5FF9A36F5597","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11d30de71088317106eba7d9ef3add62c02e36a6","datavalue":{"value":"intuitive intuitionistic validity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202656$78E6E804-0DF2-48C1-97E5-A45C66108DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a38c8eb0151c67f5da1ef9368785a7be25d027ae","datavalue":{"value":"validity in Beth models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202656$9450E341-B844-4482-829E-4D5F1AFF9B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c1e07db57b8e1079b750aa456d0af5513a30b53","datavalue":{"value":"intuitionistic completeness proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q5202656$C288E071-36AB-4D03-AA31-DF235520526D","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":"Q5202656$270191A3-514E-4670-99D0-EACFFC2530B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1cf0092b223699992e363dfeb119325463eb344","datavalue":{"value":{"entity-type":"item","numeric-id":708927,"id":"Q708927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f92a3584791b742728009edf2594c8008bf0f8","datavalue":{"value":{"amount":"+0.8237001299858093","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":"Q5202656$EA27799E-9EF2-482D-B80E-AA5F17E373DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bdf29a2f675b4cd9c6f50f62e20f57377b89d5c","datavalue":{"value":{"entity-type":"item","numeric-id":3775557,"id":"Q3775557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b84c2166c814bb859dbd08ad9af2cd672b68323","datavalue":{"value":{"amount":"+0.8112443089485168","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":"Q5202656$5A85CA85-6B62-4876-9471-21003FAC6C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22eed11b0b0c9c9ec9c7b273fbd8edcda3ada453","datavalue":{"value":{"entity-type":"item","numeric-id":4397034,"id":"Q4397034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c71f19011daaf349948b05a3b50af616ac8b3120","datavalue":{"value":{"amount":"+0.7790409326553345","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":"Q5202656$0AAE3182-50FF-4E2B-96C2-982E84A7161B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e1e82d7c33a908c91ea9a97d1825da8daf0e9c2","datavalue":{"value":{"entity-type":"item","numeric-id":3481700,"id":"Q3481700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2a5a6a3a2e30dac797cc105c29fc008cd96351","datavalue":{"value":{"amount":"+0.7711459994316101","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":"Q5202656$9181489D-5B94-4FDF-88CF-CACDBF7B1FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2f9922d5061b80fae17ab5f2047cc077af168e","datavalue":{"value":{"entity-type":"item","numeric-id":3684111,"id":"Q3684111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28055cfc416384d7523c3a5f380cddf56bd14f58","datavalue":{"value":{"amount":"+0.7677863240242004","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":"Q5202656$166DB8E1-61F7-48CA-B1F7-4701D1DEEE9F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5202656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5202656"}}}}}