{"entities":{"Q6159928":{"pageid":13294789,"ns":120,"title":"Item:Q6159928","lastrevid":41806074,"modified":"2025-05-08T13:58:32Z","type":"item","id":"Q6159928","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700618"}},"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":"Q6159928$74A98DC6-F117-4D32-AA3F-6DC74E4E5D71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c43c9dea2040a308ad1527d71ba75aae30019412","datavalue":{"value":{"entity-type":"item","numeric-id":290916,"id":"Q290916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159928$9DB0B0E9-BEEC-4B92-8B85-E7B176F39869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9da9e90f8331f4182607853a0189b069c9625d7","datavalue":{"value":{"entity-type":"item","numeric-id":2106874,"id":"Q2106874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159928$88D16A18-08A5-469F-AB7E-C0AEC3C46307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d72e69b77b54b2c4c78170e707f79612e9034369","datavalue":{"value":{"entity-type":"item","numeric-id":2180512,"id":"Q2180512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159928$C948C994-8FA1-4B29-847D-3381DDE65914","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159928$766F7995-F6DE-49FA-ABA2-E780CB29539D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159928$6E33374E-76A9-4A15-B9B8-E9D9B590CFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159928$8AB4FD6A-ABEF-4DFB-96BB-1E74CDF045CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159928$7A22A7C8-A5AE-4CEF-A4DF-B889D93A815D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba97d23e61cc7d35cf8c6a4d62d33cd6be55a175","datavalue":{"value":"7700618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159928$60DB30AD-40B2-4616-A490-4F222D86A2F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159928$0FF6BFBF-1FA2-41C6-9FF8-99AB022BC60B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5359e491709978c117b96f1d7b15abb19215282","datavalue":{"value":"beth models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159928$4F1BA919-500D-449D-A753-CFB8077FF2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580520fce237640a876b8d180acd2f68d76de1b5","datavalue":{"value":"labelled deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159928$BBFF141E-C7E1-44BE-B4C3-3E1F5BA1C9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159928$A69E37B1-1453-4761-A954-554D2A790115","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":"Q6159928$18F6D657-5110-4C1B-862D-54B6556B9C76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98811eeedae394dde593f3e78a2cbd05d1833724","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159928$84CA7A3A-FA5A-4B70-92AE-29891B3D2ECF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c126e3c0faae4f1a834e6186eed384fa9989b2a1","datavalue":{"value":{"entity-type":"item","numeric-id":5884966,"id":"Q5884966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"237db70e472bd75528821e7547918920c187e0af","datavalue":{"value":{"amount":"+0.91161776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159928$24094BFC-D1F0-4AA6-9FC1-5F5968C7C007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0f6acab23a0ef1c9df2510844c3229f06b6e54","datavalue":{"value":{"entity-type":"item","numeric-id":3491517,"id":"Q3491517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef3f4decea25a647889a0c85d50651d765c280aa","datavalue":{"value":{"amount":"+0.91129595","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159928$54A1B0CD-AF64-4C56-BE9F-3A81C089D847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f5b6ce9bbfb4aae383441edd806cdc0cc36bf5d","datavalue":{"value":{"entity-type":"item","numeric-id":4982116,"id":"Q4982116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"729613abd50099366bb240f0faea130b622a173b","datavalue":{"value":{"amount":"+0.89862806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159928$EEF17235-7AC1-4CB5-8EFE-B02BA2A49B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07fb3a748ff0e6f0b68ddb4b34fc34e708484d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3360158,"id":"Q3360158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9726e4108999456de36ad341acda68cbc5599696","datavalue":{"value":{"amount":"+0.88793796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159928$E36EF484-1407-4B71-A0DB-E9748F259079","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c47391b0676c2bd89a4f3d0ae84eef2f75250db","datavalue":{"value":{"entity-type":"item","numeric-id":6169324,"id":"Q6169324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9199e374e929ebd6be9dfa5aee087cf216591fcf","datavalue":{"value":{"amount":"+0.8790021","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159928$A080ACCA-36B7-47BE-9749-04F664DF63D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a8ffa48864de910a83e37b6f5412753521ef7f8","datavalue":{"value":{"entity-type":"item","numeric-id":2106875,"id":"Q2106875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988f7e3037a6f56174ad38eabc1d45238ff3d28f","datavalue":{"value":{"amount":"+0.8757751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159928$ED29DADB-5429-4B86-83F0-E85483F67CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c204d40796cf2454cb4877cccffe66228095968","datavalue":{"value":{"entity-type":"item","numeric-id":1407549,"id":"Q1407549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a8f9a9c416a39f037bdb7c3f88e39a459131ce","datavalue":{"value":{"amount":"+0.87307847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159928$B628DEB7-CA81-49C1-AB4D-FA8A16BDB4B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84449b6d9810403d8c0c6d6ba5dfc2b64d725d17","datavalue":{"value":{"entity-type":"item","numeric-id":5163982,"id":"Q5163982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53ac1088d25c0e52795bad71ae79b068518ec9bb","datavalue":{"value":{"amount":"+0.87178165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159928$760EFF1C-7D3C-4C79-B0E6-17BA8646CA29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5461cb2508e87a4328967389321f1e4f348459c","datavalue":{"value":{"entity-type":"item","numeric-id":2701978,"id":"Q2701978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9456d351c066922196dd765f51d13fe0983f6c18","datavalue":{"value":{"amount":"+0.8692625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159928$0E5853E5-8765-4F69-87AD-D8C9F32D5C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8d2e91d3d2636521c12ab4034e29f3604f1773","datavalue":{"value":{"entity-type":"item","numeric-id":4644597,"id":"Q4644597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fad668ce69e4eeda00396bb145b0f1772aedfd32","datavalue":{"value":{"amount":"+0.86810434","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159928$979DAB11-2E50-44AB-9F35-5847C8F55654","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159928"}}}}}