{"entities":{"Q4720799":{"pageid":6750376,"ns":120,"title":"Item:Q4720799","lastrevid":49038712,"modified":"2026-01-06T12:28:43Z","type":"item","id":"Q4720799","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3992946"}},"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":"Q4720799$DBD2812F-F132-4FB3-AF50-B6C12FD27109","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6af8db3fc06916cd161d5740444d62cf9df2aa2","datavalue":{"value":"0613.68037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720799$7C4F5802-E508-41DF-A466-44A3C20D73B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"26fe81644492c9098702ec112b02e1e3a73bd68f","datavalue":{"value":{"entity-type":"item","numeric-id":817839,"id":"Q817839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4720799$D7DDFB92-F538-4329-8088-2DCC60CFF969","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q4720799$EA572A0B-9166-477F-B11C-0EAE3A8E38E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720799$340F26BD-73E1-42FB-A82E-9740E40EEC48","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3f3fec5b7376b1b9402cb9f512d5f65739732ca8","datavalue":{"value":"3992946","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4720799$7521CA0D-1C0F-48DF-9743-B66EC58B3401","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1436e996bacd567fcb7c7f5ad6772ae3c3fbcc","datavalue":{"value":"Connection Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720799$67D46264-5C85-43CB-885D-DF4AC37E773F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cbd1d50bceea001ddfa0ef6da5da820ee1aa2607","datavalue":{"value":"proof method for predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720799$EB60DA5E-70D1-49D9-B5A2-8E4097DECF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4720799$4467A937-3757-4952-99BB-BC2887CD9016","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":"Q4720799$B770C405-5B33-48CA-83E4-F2E7D04B6453","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad6d36195f20e4b3bc1cf1052444755b098531c4","datavalue":{"value":{"entity-type":"item","numeric-id":3821627,"id":"Q3821627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc03c92821563f5f538dd51a173c36a5e44f3ff","datavalue":{"value":{"amount":"+0.8135716319084167","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":"Q4720799$666397FC-103F-4212-9411-D6ADED62FC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea9b2ab3b7a1374a6df2289672374b9b91effb6","datavalue":{"value":{"entity-type":"item","numeric-id":4530455,"id":"Q4530455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa64048f92de941f6aefdc66dd4a8c53ff74b65b","datavalue":{"value":{"amount":"+0.7587219476699829","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":"Q4720799$502F588D-97A5-4611-B94E-8C644CB85C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b01627bb4302973460575a627d130f071ccaa00d","datavalue":{"value":{"entity-type":"item","numeric-id":4530458,"id":"Q4530458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf96a8972429f269820bcfe92a52666f51890ed","datavalue":{"value":{"amount":"+0.7525391578674316","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":"Q4720799$A3804867-D71C-4E50-AF6A-5C5200DBEB60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9516178b11517f5b05dea427fc615a03eecc3ea","datavalue":{"value":{"entity-type":"item","numeric-id":3783621,"id":"Q3783621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf96a8972429f269820bcfe92a52666f51890ed","datavalue":{"value":{"amount":"+0.7525391578674316","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":"Q4720799$98269A16-060E-4288-B6FB-06E382691826","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b531bc4ae3dd17503f84b03137871c2ebf042d07","datavalue":{"value":{"entity-type":"item","numeric-id":4520768,"id":"Q4520768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c8863054e1cdb21c8bdc4015bde60277ff0dd2b","datavalue":{"value":{"amount":"+0.7504640817642212","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":"Q4720799$9A05B7BF-579E-4CD1-A2FC-02948E8B4DD7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4720799","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4720799"}}}}}