{"entities":{"Q4902327":{"pageid":6931906,"ns":120,"title":"Item:Q4902327","lastrevid":51631757,"modified":"2026-01-19T04:07:26Z","type":"item","id":"Q4902327","labels":{"en":{"language":"en","value":"A new translation from ECTL* to SAT*"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6125417"}},"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":"Q4902327$5E596DA7-A4F9-4DA3-AF08-3BCD04EBBA54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c8d259d5fba3ebd567ee72d88e5394ee709e618b","datavalue":{"value":{"text":"A New Translation from ECTL* to SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4902327$4083676C-8B9C-4375-826C-1690FF907678","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf1f0ce8278673e672f8b7399f2b8f17ce7a2106","datavalue":{"value":"1283.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902327$8BCDB2C6-290A-42D6-B5E7-1B1434DA18B8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db71c27fbad126d59f2079b4d48b19eb370e99f4","datavalue":{"value":"10.3233/FI-2012-768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902327$F56ABFB2-8905-4A50-96FA-2203D60A586F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902327$8FFBCB6A-5155-4BDF-8B18-22EB3B7952BC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902327$E5864003-EF12-4C65-A8F7-C14AAC4A9EC5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7cc0eaf9bc686bec2cdab83ca170990c285c570","datavalue":{"value":{"time":"+2013-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4902327$0E66DF97-9B2B-4610-809C-5E8ACD5A253B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902327$8C605197-38CE-4A89-8F9E-A6B1248A93B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902327$318496E9-50A6-4358-9539-85BD009A2534","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fd6c27518d23145557e6dd08de0e79e69c84e911","datavalue":{"value":"6125417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902327$891FCA8B-EA05-4E53-BB7F-F60E2DC0C60B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75e78cd0204d4d31855e84e0e74f34cbe7774a40","datavalue":{"value":"computation tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902327$C53207D0-8C12-4AE7-BBE5-83E7C0FAEED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902327$941606AF-9236-485D-BC9F-150EE9B5D7BA","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":"Q4902327$C3EA06E5-37F5-4408-B1E3-0ED55DBB1910","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8187f05aa582d50791cec5eab5ffbd97b4981e3","datavalue":{"value":"https://doi.org/10.3233/fi-2012-768","type":"string"},"datatype":"url"},"type":"statement","id":"Q4902327$677C20B6-0D28-401B-AAA3-C36C25178EE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2bf9eb70f6791c0f900a72896ed23241d4d87410","datavalue":{"value":"W1631431469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902327$E039AC7C-DBE4-4EAD-8BCB-C2415BCAC275","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a7a7c74ec79e45f9260ea233720a3ffab7e0ca0","datavalue":{"value":{"entity-type":"item","numeric-id":4654277,"id":"Q4654277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ad0fb7f9b916da3ef50c0aa0c6514d7daa1b33c","datavalue":{"value":{"amount":"+0.8400170803070068","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":"Q4902327$C26D69AC-26B7-43EC-894B-35674629DE76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c557a0acbba6eae282ab48dca0c89eeaa1e3104b","datavalue":{"value":{"entity-type":"item","numeric-id":5222973,"id":"Q5222973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58b28857eacbdf740639c3713cb6e736f423bfe9","datavalue":{"value":{"amount":"+0.8342733979225159","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":"Q4902327$E042FD73-66D7-4A76-A31E-4B74A61A331A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f022afb3a52234ef36d9323214a24012a7e1dde","datavalue":{"value":{"entity-type":"item","numeric-id":5506390,"id":"Q5506390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86aecf43790d469ee2290e3e14bb5f9fd931e577","datavalue":{"value":{"amount":"+0.8319227695465088","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":"Q4902327$EA118A45-EA08-4E26-82CA-B18387FADE11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ad38e91a940616d714a9cda6655944baac3915f","datavalue":{"value":{"entity-type":"item","numeric-id":5717499,"id":"Q5717499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1589e361adab388669245c0ca65ee06c3c0f1ead","datavalue":{"value":{"amount":"+0.7984547019004822","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":"Q4902327$5A16BD37-F3AB-4D89-98B5-CA778015F8E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ca58fba2f3f6c452d2fc675d43a44bd6661103","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16e143567b8259cb0a271ffb107d462fecad4cb1","datavalue":{"value":{"amount":"+0.7947197556495667","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":"Q4902327$E26994E8-7526-4280-A15B-B8DFF5402397","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4902327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4902327"}}}}}