{"entities":{"Q3224685":{"pageid":3235393,"ns":120,"title":"Item:Q3224685","lastrevid":58143564,"modified":"2026-04-03T23:53:53Z","type":"item","id":"Q3224685","labels":{"en":{"language":"en","value":"Formalization of Abstract State Transition Systems for SAT"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6020593"}},"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":"Q3224685$5FC0A279-40B9-4406-9F4C-278093F27E0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c645e8eb8a78b8bb90306b26c4899485e49b702","datavalue":{"value":{"text":"Formalization of Abstract State Transition Systems for SAT","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3224685$5218D745-2654-4787-9BCB-3138896623DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aac8f0a46295a9bb43daaa1360595627f365e457","datavalue":{"value":"1237.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224685$7830E299-E4A2-481C-8D81-CDBF0C163061","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95005040c0450f4fe6dd55a6255141358769b384","datavalue":{"value":"10.2168/LMCS-7(3:19)2011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224685$CF6D264D-A9E9-4E0A-969A-34AB36B28BD2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30659652a6bb6474380a07a770377c63fcc6c983","datavalue":{"value":{"entity-type":"item","numeric-id":606998,"id":"Q606998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224685$23395924-3453-475B-A779-F16FD3B51767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c93dc7f088015e9cd1eacb5d2c04306baf043d99","datavalue":{"value":{"entity-type":"item","numeric-id":286775,"id":"Q286775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224685$2D9D1839-F0FD-4529-8DD4-B1E984275111","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224685$80C0DB18-1DCC-4C6B-A955-396AE99D4690","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3a20009f475df93c72840e2e5b3a3e90a55f1389","datavalue":{"value":{"time":"+2012-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3224685$E6547AB4-FB2F-4A53-8BFA-C3677F7A7C52","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d6b7fac40f95112f5e24dc195b1e87d9034a9f5","datavalue":{"value":"https://arxiv.org/abs/1108.4368","type":"string"},"datatype":"url"},"type":"statement","id":"Q3224685$91586EA0-2C0A-407A-8E18-C1FE90A691C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224685$3E1E6E80-CFB7-4BC8-A6F0-A9D75896C996","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224685$E73E2072-7E9D-4070-ADCF-C1F765E408FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6391a3b7e042db88e95ceb6f41738803c12c7eaf","datavalue":{"value":"6020593","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224685$0E78D86F-953C-4608-BF6E-90BB20D59021","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224685$ABC7B8B0-BF72-4E9D-AA02-C8F43B9C0C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87021f83c0bc2bfb13b38866d6825671687cfc77","datavalue":{"value":"SAT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224685$140A280F-777C-4AA2-B664-C37B4B1AF45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"622189e4c98e45f4dd0ab59bdb34ca3b4d711f3f","datavalue":{"value":"abstract state transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224685$E5118909-0DDE-4E37-8FF7-7D61E9913F6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224685$976DC7B6-A3D5-4544-9CF6-06E3550FC05C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b029c35ffabe60b7d29584a6d40b4cb278ba542d","datavalue":{"value":{"entity-type":"item","numeric-id":18983,"id":"Q18983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224685$E72B8B8C-7A39-403F-A4F1-1A08CB42DB80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19db008058ce3a679389c190541b4b00e350555f","datavalue":{"value":{"entity-type":"item","numeric-id":27113,"id":"Q27113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224685$17B2661D-4BDB-4B39-90AF-E99D7F325D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224685$D4E75A64-0215-4D30-8BE0-B344E349F174","rank":"normal"},{"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":"Q3224685$389C636F-1387-4BE1-B34B-0F2E06B40F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"64bf9be9ab36c39dedc3bc5290b05b2b8e2c3646","datavalue":{"value":{"entity-type":"item","numeric-id":40545,"id":"Q40545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224685$B43DCBC0-FBFF-43BC-A949-7047A8158A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e338912f65cbd77347bbd512933e55736ef58bd1","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224685$523CA8B1-95EF-4BA8-BB45-78D2078936CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224685$CC199A38-F45A-4C07-BE2A-9ADE542F37BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"60c977c73f66c80db6a0782a3e55d401ee00ddc1","datavalue":{"value":{"entity-type":"item","numeric-id":19150,"id":"Q19150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224685$48C0EF8E-0755-460A-919A-3A47DD11124D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5834864074172f90c0db592b61fbce75f9303a03","datavalue":{"value":{"entity-type":"item","numeric-id":16627,"id":"Q16627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224685$7B52EC3C-696D-4C0C-AFDE-6AED832B8BF8","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":"Q3224685$C7D4C3C0-543F-4E06-AD4C-2723E4F4CE9C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a5944a0f0c3a62fc4e3b00f5c09525802360aee","datavalue":{"value":"W3102087768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224685$3AAA590B-0477-45E6-8F4E-2A26BA00808A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c98e3a2fca2e53bc3e7652a7ccc8979e2c9b05e3","datavalue":{"value":{"entity-type":"item","numeric-id":839035,"id":"Q839035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16a2817b22d50f8c27400f780bd8d189de15e8d9","datavalue":{"value":{"amount":"+0.88137776","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224685$5EB48C7D-1765-4185-81E9-7E8C1A19DB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14027c8da4021e8f1223e4509afd0d3c9a6cbf04","datavalue":{"value":{"entity-type":"item","numeric-id":5881450,"id":"Q5881450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ed762a5cba177820ec5dd1b544bcab4dd25eb95","datavalue":{"value":{"amount":"+0.8811759","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224685$459A5D4F-E2C1-4497-9E26-E039AD5F6039","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea53f4d0daf48dd7127e69ca85211a01679fed0d","datavalue":{"value":{"entity-type":"item","numeric-id":2583288,"id":"Q2583288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62afc130d07307e84b8effdd4ef369b9cb4e69d7","datavalue":{"value":{"amount":"+0.878101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224685$A89217A6-2416-40B7-B878-6050BB7D3718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97a1bf693cef9178aadd375963cd412c8809cc24","datavalue":{"value":{"entity-type":"item","numeric-id":3176368,"id":"Q3176368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6cf8588448751280eae08deb9c347cf75c5ba30b","datavalue":{"value":{"amount":"+0.877349","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224685$A90BC5AA-34C9-479C-AFD6-BBA95A21B5B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"747262510cb6b2d1e886a4e3f4a91d7ce069382a","datavalue":{"value":{"entity-type":"item","numeric-id":4818811,"id":"Q4818811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f83960fe699965afaef10ea8ef9b246cc0a5ff12","datavalue":{"value":{"amount":"+0.87623954","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224685$2E2B08D2-B14E-4168-9022-7238136181A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f86d7d231ff54ec619f50876b16b8e55872e33c3","datavalue":{"value":{"entity-type":"item","numeric-id":4536629,"id":"Q4536629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc09cf543b19b2d434d688b35fe4ce59dd492256","datavalue":{"value":{"amount":"+0.8750353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224685$C8F4BE21-4DE4-49C2-A41B-0CAD1C95ECB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8091b0fe8409b4aae1046fa486f72e2cf12abd1","datavalue":{"value":{"entity-type":"item","numeric-id":4783310,"id":"Q4783310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"907f0e85e3244628ddc4216146d0338c19dac801","datavalue":{"value":{"amount":"+0.87258863","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3224685$E017E07D-DC34-402B-9AC2-33675B3E522B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3224685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3224685"}}}}}