{"entities":{"Q5429344":{"pageid":7458918,"ns":120,"title":"Item:Q5429344","lastrevid":50224802,"modified":"2026-01-13T14:01:39Z","type":"item","id":"Q5429344","labels":{"en":{"language":"en","value":"Boolean Abstraction for Temporal Logic Satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5216258"}},"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":"Q5429344$65EAD420-7516-4F3F-823C-6F0074CF4196","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60d6a4cff7710816496faf53cf3bbdbc0204ba78","datavalue":{"value":{"text":"Boolean Abstraction for Temporal Logic Satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5429344$35B4D487-9D6C-43E1-88DA-CC9A9775CC51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a42846ee4e37b1bb48e3fc34098423642a497db3","datavalue":{"value":"1135.68469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429344$EA754866-94ED-4FDC-B93A-4729340FD901","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d253454bc8fcfe32eef288ab6cad0171a2541e17","datavalue":{"value":"10.1007/978-3-540-73368-3_53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429344$62EFC18B-17C2-42EC-B777-2B984D6665A7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429344$5091B732-A153-4971-BDF4-897899247440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429344$E9212A4F-C8A0-4846-AD54-B9C0F976C299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c48be433893868e131def341ae13b90f7ce04db3","datavalue":{"value":{"entity-type":"item","numeric-id":266862,"id":"Q266862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429344$19ADC668-2A5E-4FB3-9D2F-BA7E6AD450E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429344$C0FA9B75-C23F-4264-804D-D5059550057C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429344$9B1D020B-728C-4267-9D00-DEFCFBE23879","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c737e3e623cd7b1b8045894b1a70da6ed5c2134","datavalue":{"value":{"time":"+2007-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5429344$A7741FA7-2F6B-46AE-9B06-7D440D4E122D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429344$0A222458-C9C5-43A4-AB6A-EE0662FDF7C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f87acf471229a9caa91eb6b502eab872eec5300c","datavalue":{"value":"5216258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429344$182AAC2C-DEC6-470D-8268-08A3E3A02182","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b4baf162d26a6fa25e434d423c2172b72adbd724","datavalue":{"value":"Q62041318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429344$00249132-5D0D-4DAF-81CC-236DE6751B88","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5429344$13FC1EDF-C103-40C1-8CE3-4664D49B145C","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":"Q5429344$7084D2D5-EAF5-4220-AC6B-4B8E3D9107E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5c5dd42946c1d670722048730a219791bb51431a","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73368-3_53","type":"string"},"datatype":"url"},"type":"statement","id":"Q5429344$048C538E-AF28-4301-87D7-6A7C33F10B03","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77a8316da3b3d2b41c79b94815bc05a1853bef51","datavalue":{"value":"W1537589219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429344$3FCA4FB9-082D-4742-B227-DA67E43BD35D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2403d34ce882973cf85a441b69a01d1ee0ed525b","datavalue":{"value":"conf/cav/CimattiRST07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5429344$6D9687C7-E562-47D0-A9AE-F5534D2D200B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbb9ce060d55e1b403f2129112efe14249c6bae","datavalue":{"value":{"entity-type":"item","numeric-id":2845512,"id":"Q2845512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a01c7e0d1a7a9cd7da8d8e1a5f372b358595ec97","datavalue":{"value":{"amount":"+0.7414088249206543","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":"Q5429344$C8AFEECE-E57B-461B-8740-D3E16312D6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797b0e52e2192cfd7617dabc9e2ae6b2f50cad2b","datavalue":{"value":{"entity-type":"item","numeric-id":4928457,"id":"Q4928457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ec0aed3ab45e6ecf0a7cfa12e1b52b3dad9a752","datavalue":{"value":{"amount":"+0.7267629504203796","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":"Q5429344$F7DB5929-1F1A-4F18-BA37-EAE4868F5B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6397715b4b253111073a53ff394cddb3612a19b9","datavalue":{"value":{"entity-type":"item","numeric-id":1408385,"id":"Q1408385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f314009c96be35db74c11c9d542bfb4c9415d40","datavalue":{"value":{"amount":"+0.7245790958404541","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":"Q5429344$8799A05F-2FA5-4CCC-84A1-9441739E120B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"193b6443352a3258f81fe7b2e5abf39f12aa60c8","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"001d482ccdd39e675aea859d9ad77dc61f9056d0","datavalue":{"value":{"amount":"+0.7241227626800537","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":"Q5429344$CB9E6E8B-85A5-493D-A915-1F7B4970EBF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8674a4fc00a703afc442c8e1c15c8b2d1c36549e","datavalue":{"value":{"entity-type":"item","numeric-id":3741614,"id":"Q3741614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3a270e7892201fed2f3caa6d5c8d01b90782f50","datavalue":{"value":{"amount":"+0.720431387424469","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":"Q5429344$FAA5708D-C67B-43E1-AD1F-F78306B6BC7F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5429344","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5429344"}}}}}