{"entities":{"Q3137311":{"pageid":3148027,"ns":120,"title":"Item:Q3137311","lastrevid":47192167,"modified":"2025-12-31T23:23:21Z","type":"item","id":"Q3137311","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 427553"}},"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":"Q3137311$E0FAA812-CA51-426A-B830-91D9E5CD9FD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5da700f83b919ef6491147707aefd93e9ae0fad4","datavalue":{"value":"0787.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137311$CD842D76-1831-4FE1-93FC-E9E7D2542334","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53d03fa939d981259c9b1c89fc6d29d14f010f18","datavalue":{"value":{"entity-type":"item","numeric-id":787940,"id":"Q787940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3137311$E7FD6DC0-1E01-481B-9583-E154478A1C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74994d2852f728c533293c60b8c53940568b42e6","datavalue":{"value":{"entity-type":"item","numeric-id":1225614,"id":"Q1225614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3137311$E151F54D-CEFD-4EE9-AA33-F6BF4C0FC5E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2bc573af259813d3b2294ba49699038491b9c573","datavalue":{"value":{"time":"+1993-10-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":"Q3137311$5E4D4423-4AD2-4CAE-84BE-0891B36D24BF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137311$7FE748CA-212D-474D-9DC4-1332C0AEE259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137311$4568CB9F-AAF4-47B2-ACE4-07F76DBA9812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137311$7F91D014-0F66-4AC7-B139-7C7A02913D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"674153c9488f8b0f9e97858664bfaf3fbbbac9b1","datavalue":{"value":"03G05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137311$9FA6B874-4EB4-419A-B47B-7A7EDE670657","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44aefdda7b742bfafec164fb539e7da74edcccc5","datavalue":{"value":"427553","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3137311$8620E1BA-6244-4839-9F38-A6572BAC3C16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec6dac8174dd919ea6453d23e44243994d90f34","datavalue":{"value":"propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137311$27ADF833-3EEF-48BC-951E-38823E516267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7227247e26a7a4e3cf718a9747f1fd0491872cd1","datavalue":{"value":"predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137311$C08C0901-922B-413F-8660-075391B27CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f2c19f911179bd48de63cc4a5c8166d20f9271d","datavalue":{"value":"completeness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137311$7287D120-8D5B-4C05-A79C-6E237A004FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b79c0d46aaed6ae08d529961c9f16b783e44803","datavalue":{"value":"Boolean algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137311$606A8434-0597-4DD5-8DD9-A19C5A88C064","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfc19fcadf63d5548906f3f01b182b6da6ae1fc8","datavalue":{"value":"ideals","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137311$ECF9A8A9-B556-404A-9303-E4BED3FE0394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fde32cd68a42e4449475681b170c87e0976d509","datavalue":{"value":"filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137311$63A53D10-377D-4A28-AE15-D3D4A16988AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fb2fd7ee4d6c64d6bc3fdbfcb7dc46e51db29a7","datavalue":{"value":"Stone's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3137311$00517EE0-3D6A-49FF-8CFB-359B5523A0B7","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":"Q3137311$A31FCE30-4B2B-4369-9FD3-786D30D2331E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49a86cfbc0c1f10d4d31c217849a149127e60231","datavalue":{"value":{"entity-type":"item","numeric-id":4510393,"id":"Q4510393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20bcea18604bbc351e0879752eb09102d1d2e9a3","datavalue":{"value":{"amount":"+0.8760789036750793","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":"Q3137311$7213C870-A7DA-400E-BDF7-4362DBBFC928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93724a8dcfd74b67b3eed65dd1797e8f8f3ae89b","datavalue":{"value":{"entity-type":"item","numeric-id":4039934,"id":"Q4039934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bcc6de4c4ea917459fb000ad54ae315aa0311ca","datavalue":{"value":{"amount":"+0.8399631381034851","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":"Q3137311$6620F756-8FC6-4F39-8FF4-8E8B4A65B02D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d757d23d8b6bb2b455de019f5c3d220cadf444c","datavalue":{"value":{"entity-type":"item","numeric-id":4582006,"id":"Q4582006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89ee20d53bd713950446026f8c90b9ad22548cfe","datavalue":{"value":{"amount":"+0.8289439678192139","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":"Q3137311$75E2668B-1BDB-4382-BFED-BED52DDFFCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9824552a2b16a6fbf63e4f8dba2b5434656dccc0","datavalue":{"value":{"entity-type":"item","numeric-id":4422745,"id":"Q4422745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff06d5c5260d002fd3321a50f04ba25dfb194315","datavalue":{"value":{"amount":"+0.8270617127418518","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":"Q3137311$2F1BBC12-A892-487F-9C73-ED4D2B4BE9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1abe0ec999140dbcc2d8ea3834a666abb8cd6238","datavalue":{"value":{"entity-type":"item","numeric-id":3768858,"id":"Q3768858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e0f9d2edc7ff4aac4c58d80ada82f9c508717a8","datavalue":{"value":{"amount":"+0.8192749619483948","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":"Q3137311$CB1EE9E5-E5F9-40F4-8520-BADF54C8043A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3137311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3137311"}}}}}