{"entities":{"Q3460091":{"pageid":5239491,"ns":120,"title":"Item:Q3460091","lastrevid":52431500,"modified":"2026-01-22T15:28:50Z","type":"item","id":"Q3460091","labels":{"en":{"language":"en","value":"SAT modulo intuitionistic implications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6528811"}},"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":"Q3460091$5B9CF0AA-6D6D-4620-96D5-900571C84D1F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4efbedeeb899fa0df5d34c43265f88aca2f4cb40","datavalue":{"value":{"text":"SAT Modulo Intuitionistic Implications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3460091$85F0E165-546D-4DAE-B329-468D7FED1A83","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73408396b54598814cffce3e6893853bc9da912d","datavalue":{"value":"1435.68363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460091$C3725BC5-E473-4837-BB14-F4DE54751327","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3794c4571d737a2370a515d10d67f99f8ab7265f","datavalue":{"value":"10.1007/978-3-662-48899-7_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460091$FD916075-D628-41FD-9C15-2E1EBC887D53","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcb9f6003248d9f6e3888a3874f451e22b906b","datavalue":{"value":{"entity-type":"item","numeric-id":438538,"id":"Q438538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460091$AD1CFDAC-6226-4E02-A275-1C40B62C1B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09bceed60737b95a07c93164c21857a414d4b32a","datavalue":{"value":{"entity-type":"item","numeric-id":206446,"id":"Q206446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460091$3135F0C5-CAD6-4F54-BD47-DD8C554FF751","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3460091$C5F11159-FC16-42BD-BC35-62FC42D9EA4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f91432dc3d3ba35c1a5312422600047e5b632480","datavalue":{"value":{"time":"+2016-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3460091$746D904D-BAF0-4008-BAAD-9401AEB7363C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460091$F7E75B07-E0CF-46B9-97D5-FFD242E133B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460091$7FDB68DF-7049-42E8-9A5C-50425AF23775","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1881811f1ba349cd74e09e6639ba1c1cf620d27b","datavalue":{"value":"6528811","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460091$EEEF78F1-B567-437E-A7A3-CE694C7E5A28","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":"Q3460091$9D65081F-1F11-4E0D-9EE9-75B67A6811EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"700d6c4f75ec43d16c21e7e5178b41b4a3759ff2","datavalue":{"value":"https://doi.org/10.1007/978-3-662-48899-7_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q3460091$88E912DD-8C08-4FFE-8FFC-B34D7F7F2DA8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82249fdf0047021e9a42abf1a9b502b6d2b290c9","datavalue":{"value":"W2295924173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3460091$DA94D646-1164-4138-B393-693B7B2F6174","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62faae414725696cb5c719e82e12f59950ef418","datavalue":{"value":{"entity-type":"item","numeric-id":2180511,"id":"Q2180511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa32b94c9a9b120d8dc5cb763275fc9833d1bdf2","datavalue":{"value":{"amount":"+0.8299798965454102","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":"Q3460091$6065DAC7-24C5-4AB0-8658-77BC4FF8E77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18eadd68ef3a275c2b540e7d1f3026fdd79c63b3","datavalue":{"value":{"entity-type":"item","numeric-id":4036286,"id":"Q4036286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f291695e536d5479c04f66e26e7d56e60d5380","datavalue":{"value":{"amount":"+0.7795562148094177","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":"Q3460091$505089A5-6021-4E1D-B61E-A9A8EF3E8D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce6ad6abcd48709383c08e822d5e3fa1c12b6396","datavalue":{"value":{"entity-type":"item","numeric-id":3192067,"id":"Q3192067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7463c19703cc8b9444f4e28c78cf548e03b8d53","datavalue":{"value":{"amount":"+0.7780978679656982","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":"Q3460091$CDD27D0C-1DA7-4B7A-AEBE-A5C50EE8A0EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f7d19275483cbf66b50d61246fd799dbf226df6","datavalue":{"value":{"entity-type":"item","numeric-id":3502709,"id":"Q3502709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72a5a718a7630c45a419c641f16c9ac4947e5b1a","datavalue":{"value":{"amount":"+0.7755745053291321","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":"Q3460091$F62893E6-743A-4FAD-B55A-808A47395907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc991c4163e4d166664b7dca4d293463f6687987","datavalue":{"value":{"entity-type":"item","numeric-id":959821,"id":"Q959821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f9a9e03d942b1dbfee2701c26ed4c0bae543fa3","datavalue":{"value":{"amount":"+0.7668327689170837","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":"Q3460091$2395B0CB-22C1-4210-8BB5-7C8F32E6C9C6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3460091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3460091"}}}}}