{"entities":{"Q6611959":{"pageid":14223116,"ns":120,"title":"Item:Q6611959","lastrevid":57126861,"modified":"2026-03-26T17:25:31Z","type":"item","id":"Q6611959","labels":{"en":{"language":"en","value":"SAT meets tableaux for linear temporal logic satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7919840"}},"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":"Q6611959$97B9A046-F199-4F15-96BD-3472D4ECE750","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfa5b3360ba1b5d8813068df0cbd6000d992c582","datavalue":{"value":{"text":"SAT meets tableaux for linear temporal logic satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6611959$300E500F-A23A-4DA1-B0CD-97832A7903EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"93141fe765fd55ff78188fc280f46aafa4aa72f7","datavalue":{"value":{"entity-type":"item","numeric-id":2029606,"id":"Q2029606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$B7A411D3-E9E2-4A37-BE53-41F9B8A76952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3426eb049e14d89befbc43e19e1f24581cade6a4","datavalue":{"value":{"entity-type":"item","numeric-id":2029607,"id":"Q2029607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$881CCC40-55AD-4C88-842D-52658AF95AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f67fcedf06549dca6a4bf555125438ee036b591","datavalue":{"value":{"entity-type":"item","numeric-id":266859,"id":"Q266859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$20B0371B-C042-4596-B102-5DB5B700B182","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"412f079664ba65c2fedeb06aea32b2175f2facff","datavalue":{"value":{"entity-type":"item","numeric-id":6080271,"id":"Q6080271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$9CFB2F7B-70AA-43D6-A0D4-CAC37FAA1244","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$A79276EA-9D17-4EFB-9701-007E0D4C60AE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fa77625b6793398e9785907ea2f3653fa0fbf243","datavalue":{"value":{"time":"+2024-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6611959$CAC04FEE-5E97-4FFF-9B3E-74833FE0D8D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6611959$538229DD-8EE3-496D-B46A-D6C47449F923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6611959$9940FEC1-C387-4B96-9590-361751E429A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6611959$1D5F4ADC-88BB-4EB3-9350-063140D543CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4748395573cbf5fce86ab2a58962616e9f86f38","datavalue":{"value":"7919840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6611959$468D4431-7C32-428F-94F0-7339FDE65145","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6611959$F3491F0A-D0E0-41F0-A08B-50D10E537D0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q6611959$75C498C0-F33B-46CD-A6CC-877818CF68F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q6611959$A203EC3C-061B-443C-B83E-8E51E3BD3FC1","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":"Q6611959$2B06B77B-C54C-4D47-88AF-BFEDD593CD9A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e53da32486790a095eef7f63d85c2068ec9b28","datavalue":{"value":{"entity-type":"item","numeric-id":4982121,"id":"Q4982121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$ACA3F20A-F611-4546-A5A7-E4D9E13E5F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"692f33298e12548a7de121e9b379ab5a875cd0fd","datavalue":{"value":{"entity-type":"item","numeric-id":1383350,"id":"Q1383350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$976180AC-A370-413C-B35C-D6592BC4D0E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9989385b6d21787669f1b90c6937d74a8a738ea","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$6B4E563E-1CDA-4B3A-9650-BB0C7C7BDB25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0e430ac953987f7ace9d78fa87f21f8cf10d86c","datavalue":{"value":{"entity-type":"item","numeric-id":5492984,"id":"Q5492984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$15A99FBB-20F9-4AC6-A4D4-71DF511E1970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$0D4A180E-56F4-45B2-8FDC-2E330380B8A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$825E43CD-0874-44A7-BB7A-8ADD2194B4EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09c83e127b33f2b447a249abab694bb8942e1cd","datavalue":{"value":{"entity-type":"item","numeric-id":4558796,"id":"Q4558796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$9D2E1A81-B082-49CB-B699-A8A27B487A49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b330f5cd7a65a8735b5cd88f9d99cd7626efdb5","datavalue":{"value":{"entity-type":"item","numeric-id":4012170,"id":"Q4012170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$2337E066-3D52-4A1A-BBED-6266ECD04FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05cc22e70cd29988fee99676201ee18c4ac4f87e","datavalue":{"value":{"entity-type":"item","numeric-id":4351796,"id":"Q4351796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$7E588A6B-A8B7-4154-9208-A29E6D8AC3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72dce040d38351e5c1dc189ce1407c022fa81f9e","datavalue":{"value":{"entity-type":"item","numeric-id":3384889,"id":"Q3384889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$051A89AD-B798-4EDB-BA7C-5315DA03F270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1d58aa9662fc94fa0269a46c291d457c19f20c0","datavalue":{"value":{"entity-type":"item","numeric-id":2180503,"id":"Q2180503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$7B7B4042-B6B5-4203-BBF9-0F0F8693C4F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4a38d2515964ad487c3984daa225eddc4a97197","datavalue":{"value":{"entity-type":"item","numeric-id":2029608,"id":"Q2029608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$C4F12160-F0BC-4A3B-82C7-1E1136FC789A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9944a2ef4f309a6555e4b5d44a14e019277b1f37","datavalue":{"value":{"entity-type":"item","numeric-id":6080272,"id":"Q6080272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$EAF28F8B-AB47-4C5A-AC30-3818148A61F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83d2def958584e07f26fb316398973469263c839","datavalue":{"value":{"entity-type":"item","numeric-id":4645753,"id":"Q4645753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$E1EBB03F-46C7-4087-9E16-9E9608E3528A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5f3cd0c0fdd70d2eae3e5f69e2ee0aa687d8a4","datavalue":{"value":{"entity-type":"item","numeric-id":5716540,"id":"Q5716540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$FFD2B979-3945-4EE7-8EF5-1DA6C12F13AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f678dcb86129758a371a3b8451c5d2c86baa05","datavalue":{"value":{"entity-type":"item","numeric-id":2335900,"id":"Q2335900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$9A4DCF40-590B-482D-B101-174CCB67ECBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c95f566cd609be2f98826bda3cf74e0545a27a","datavalue":{"value":{"entity-type":"item","numeric-id":2046017,"id":"Q2046017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$16972061-93AE-45BE-B880-87E21973FF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d55d9d717b6dd928ca51f3a56f3933f99738e0a9","datavalue":{"value":{"entity-type":"item","numeric-id":4444910,"id":"Q4444910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$C6DE7A2F-B0B9-4BBA-B845-798BEFD182E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$AAF4820C-0B30-4836-BF43-37F22BB04F92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"018ca73d26231a1b566af43f5c10bfdf71dc5b13","datavalue":{"value":{"entity-type":"item","numeric-id":3395959,"id":"Q3395959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$32F8617F-2B8F-467A-AC45-42315B9FC0C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aa2ae8cdfa714fe85ab31a0a67cf966d1ed2aec","datavalue":{"value":{"entity-type":"item","numeric-id":3384170,"id":"Q3384170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$529261E8-4382-4E34-8DBE-0E7EA7BE2492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a8cfdbc22557797a690d3e9371c8b6a91325609","datavalue":{"value":{"entity-type":"item","numeric-id":5015285,"id":"Q5015285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$0DB60926-569B-4371-907A-4465359AE366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bf387cf6efa0c72efe979138deef219e19f92f0","datavalue":{"value":{"entity-type":"item","numeric-id":3838819,"id":"Q3838819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$3A2742A0-AFC7-4622-BD62-CAB4BB553733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$204D532D-FB7A-4BA3-B900-23EA5C01F057","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"366c228a0fa7b9eba8d6d2c839cc7bcc36a26709","datavalue":{"value":{"entity-type":"item","numeric-id":2908524,"id":"Q2908524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$94158260-92E0-4387-B34A-666426C6A563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$DD2FA71C-5B12-40F5-9BD9-22A08BF76605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"034d7339259808ce2c0fbe8cdb5235bcf1f5f4c6","datavalue":{"value":{"entity-type":"item","numeric-id":3710510,"id":"Q3710510"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$7CA31200-9C76-42A6-B42D-EF44E9E1C851","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"048dd32a7aeea360a9207ff6d2a9c7eceec0d33c","datavalue":{"value":"10.1007/S10817-023-09691-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6611959$D56F21EF-ABB2-429F-B203-F0E1B138CEAC","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6611959$9A9EDB85-B4DC-4925-98C5-3A8601A4776B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6611959","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6611959"}}}}}