{"entities":{"Q4792804":{"pageid":6822384,"ns":120,"title":"Item:Q4792804","lastrevid":74493405,"modified":"2026-04-14T22:56:08Z","type":"item","id":"Q4792804","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870124"}},"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":"Q4792804$0D6BBD0E-603B-49FF-835C-39500133AD66","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"71a0ee4daa65de7c0f40ca63258ce532de8bcb6f","datavalue":{"value":"1034.03508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792804$6D2B3F0E-50EF-4C51-B028-96DCD66141D9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0620d99393f94793769c7c3f625918030d310338","datavalue":{"value":"10.1023/A:1011215918556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792804$8CE4869A-4F75-4424-A8E5-4841D0928BC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6201c936999ce756dcd865b15779b850875baf","datavalue":{"value":{"entity-type":"item","numeric-id":209529,"id":"Q209529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4792804$0D5D53C4-A97C-4FB9-BE3F-E4E7FF39E946","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1313b8e21c355128177c048ff50036638aa6ca4f","datavalue":{"value":{"entity-type":"item","numeric-id":2744906,"id":"Q2744906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4792804$A5045372-EF07-44EC-812E-148D1AC5171B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a9a6bf7c8c9a70357d4c9fdf08598811d107086f","datavalue":{"value":{"time":"+2003-02-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4792804$F0064E48-D2D8-417B-9E17-E3BD95A50925","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792804$71564783-1EDA-4F3F-A88D-78BD8330B563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792804$C2725508-D660-457D-B970-78C17F38B9E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8cf7926125f3e049ddd7898d9cf90bda7d369014","datavalue":{"value":"1870124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4792804$12542FD5-9E01-4F22-8E06-D6F723CC9128","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdfcaa30e956e169997174f58223f8501d70eaf7","datavalue":{"value":"extensional","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792804$EDF63B26-EC70-45FC-8F22-0FA86A9A0F8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"835e36b6e26fc29987e6f2fe1e3e361a340884f7","datavalue":{"value":"negative free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792804$9B154415-53C1-4DE7-90D4-5DD5BCABCE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d31be1229374545ff94fd95ad2a5ce9870f120db","datavalue":{"value":"partial functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792804$E587EE30-D0CF-436C-99C4-900564911909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"639bd768fc42e55c288735e257a64f8aa9ba1288","datavalue":{"value":"positive free logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792804$33446B1A-9D80-428A-B3F4-7A4C046594A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"450e4e7d8d5f81e3ca4fe442a1d8b1fe9cba983f","datavalue":{"value":"predication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792804$35789535-45AC-4E89-9971-27AE2C55A09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d59f6dac69175320afa8795a031d48719725384","datavalue":{"value":"programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792804$FD80320A-3468-4C1A-BA2A-BAB0087C838E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57a8506af7e05abf88e65b7063fda05de26c3987","datavalue":{"value":"proto-semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792804$328F8674-987E-43B6-8BA1-9EF67B0CF084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce05a18cebba467461728079d195cc5ce65d755","datavalue":{"value":"proof of unsoundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4792804$18AB34AD-DE1B-4AE8-B63B-A196977BB44D","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":"Q4792804$1156B69F-4219-47CE-A672-3EE981445087","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af0d8b4e7b2d46baed24deb26a7bae58ee1c4a0","datavalue":{"value":{"entity-type":"item","numeric-id":4793394,"id":"Q4793394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730750ee62baf922120541d3f71d013c860ebf7a","datavalue":{"value":{"amount":"+0.8031747937202454","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":"Q4792804$78A25732-EC4A-44BE-8BAE-E27E015E9E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f984a756906cfb1dce1489979f95c15ae7718deb","datavalue":{"value":{"entity-type":"item","numeric-id":4532198,"id":"Q4532198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2e160e5a1b995f5f7a8e4bc20e3840006b4ce2","datavalue":{"value":{"amount":"+0.7922669649124146","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":"Q4792804$ECB52F0C-90B7-41ED-BC9D-5A8F08398E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eb2aeb7f8415eb669c1f03a65a07e47cb6121f4","datavalue":{"value":{"entity-type":"item","numeric-id":4345940,"id":"Q4345940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4b9b4f95a2dd947baf18a9ac9b7cab537687646","datavalue":{"value":{"amount":"+0.7856388092041016","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":"Q4792804$BBB1BAD4-677D-4C27-8623-CA038D555751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92393867418b0536ec07fd19621621a06dc2980e","datavalue":{"value":{"entity-type":"item","numeric-id":2819023,"id":"Q2819023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28edc950f3a7f7e3207f5b2aa96c51ea8dff1d53","datavalue":{"value":{"amount":"+0.7788326740264893","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":"Q4792804$3D5F5E43-3D40-49B3-880F-D30371544117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce4e2643c8d219f6a262b2a94612ddef7a7ab0cb","datavalue":{"value":{"entity-type":"item","numeric-id":1261311,"id":"Q1261311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4041f53861559b337e91a49c08a887b48ec8d75f","datavalue":{"value":{"amount":"+0.7692423462867737","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":"Q4792804$F121C7BD-9881-4CE3-9C8C-C25B512E35A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1870124","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1870124"}}}}}