{"entities":{"Q4583798":{"pageid":6613383,"ns":120,"title":"Item:Q4583798","lastrevid":53190869,"modified":"2026-01-24T10:29:11Z","type":"item","id":"Q4583798","labels":{"en":{"language":"en","value":"SAT and SMT technology for many-valued logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6930491"}},"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":"Q4583798$DC068F7C-43D9-40C7-AEFC-D249C36F046C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3176cf419d9d46a4a2219769b477e2ab54c864e0","datavalue":{"value":"1394.03038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583798$69E14C43-D4BD-44E3-8E95-952528FC6201","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89f7d4fe21e22bb47f8af2be9af5b124c53cf779","datavalue":{"value":{"entity-type":"item","numeric-id":274401,"id":"Q274401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583798$3477BDE7-92BC-47B1-8640-FD976B32C13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ce8850632b90b69a6c289735cc288ece6fb9e1a","datavalue":{"value":{"entity-type":"item","numeric-id":352975,"id":"Q352975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583798$E49BD779-107C-444C-AED8-5A9BE6CCDC23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"625e9c8b1a752241c65bb5aab85211ac194e9690","datavalue":{"value":{"entity-type":"item","numeric-id":606911,"id":"Q606911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583798$C5A07A13-4D52-49DB-B5A0-F1F6F0843BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"588ee65877f0d3e81836f8c13b96426bc0fd83a2","datavalue":{"value":{"entity-type":"item","numeric-id":487631,"id":"Q487631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4583798$5591AF3E-729F-4A02-B3A8-926A4297E62B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7a86a6aed7188bb3ff3424d78e3001f3e02dd61","datavalue":{"value":{"time":"+2018-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4583798$2AA89B4B-EC92-41FF-9A33-BE0319453432","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff0749c865c4f6b9d2ab3c69c75fe6847884af03","datavalue":{"value":"http://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-24-number-1-4-2015/mvlsc-24-1-4-p-151-172/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4583798$3FF3393D-0AC3-4F31-B322-85671E5529FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583798$A5153B55-6AA9-450D-A860-ED11CD3263AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583798$D244A6CC-8E26-4B15-BA36-8FF6736A3811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583798$E836F3D6-C7AF-49C0-83D0-68C526DB901B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78e9438a3e64b505126ba18ee0fcd3639b992852","datavalue":{"value":"6930491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4583798$2ADA33F7-1D2D-4844-ACB6-5A5E2BBE6ED9","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":"Q4583798$E160802A-37F2-4E32-AA5D-05A9B2D21412","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d74d4385a98677699e9bf417aca0b56ba167aaf2","datavalue":{"value":{"entity-type":"item","numeric-id":1697332,"id":"Q1697332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36890154effa92f934cbd3c97cc4301a26068473","datavalue":{"value":{"amount":"+0.8678523898124695","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":"Q4583798$B5D1D38D-7522-4E04-BEA8-5CE302058CC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c14db67e6bd2dbe1f98d7a6a77546b08d5444984","datavalue":{"value":{"entity-type":"item","numeric-id":4323008,"id":"Q4323008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d30fa7305d5188f278450bf943181548f9f4f1fd","datavalue":{"value":{"amount":"+0.8677074909210205","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":"Q4583798$EB284CA0-9E4B-4C31-9B88-7E6D26293E2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9af61d68d65e8dc4192049f5fe3383b8343adc04","datavalue":{"value":{"entity-type":"item","numeric-id":1924752,"id":"Q1924752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b65d6ff3ec8cb2c9aafcf0b1f1b710965f3d4f4","datavalue":{"value":{"amount":"+0.7981775403022766","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":"Q4583798$8FDEC278-F1E9-4A55-8366-A54D87669F6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75a4257078d45800d736d378d3a98ea8a4eff9b0","datavalue":{"value":{"entity-type":"item","numeric-id":2741541,"id":"Q2741541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2f268717e08085e3f28e5eeaed5ce01caaa839","datavalue":{"value":{"amount":"+0.783880352973938","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":"Q4583798$477AC92F-F9B0-414D-96C2-6DE604D27822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6021f70475ec456907b1059df7b91dfa79a09357","datavalue":{"value":{"entity-type":"item","numeric-id":1897558,"id":"Q1897558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba633be5e3bb22b2ca63932520685af9bc406ac2","datavalue":{"value":{"amount":"+0.765783965587616","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":"Q4583798$D5656E50-1121-40F0-A393-E8F6993F85FB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4583798","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4583798"}}}}}