{"entities":{"Q442157":{"pageid":443924,"ns":120,"title":"Item:Q442157","lastrevid":61988172,"modified":"2026-04-11T03:01:23Z","type":"item","id":"Q442157","labels":{"en":{"language":"en","value":"A finite state intersection approach to propositional satisfiability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6064531"}},"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":"Q442157$B7D1A918-EF9D-4F05-AEB4-384C8F78ADED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d118058ee0530edac263368cb9be4dfc1f3ed90","datavalue":{"value":{"text":"A finite state intersection approach to propositional satisfiability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q442157$01592B2A-994A-41FB-8DBB-768E68358FFA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a6bc55c5e9da2aeed3696ca10af07df638a2a5e","datavalue":{"value":"1243.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442157$D2B47E6D-9454-4EF5-AA69-EBFF0192B6A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7ccc7993ecab589e2363a1b9dbba82461d4fba","datavalue":{"value":{"entity-type":"item","numeric-id":442155,"id":"Q442155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$64F382D5-A888-4C21-908E-0DB84079FACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a08a5fd7ba962d05ae73198e5f42f10f2637e57","datavalue":{"value":{"entity-type":"item","numeric-id":442156,"id":"Q442156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$517E6FFD-326D-48DC-9A9B-06E12245C5C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$68BE7ACC-BFB1-4C30-B68F-35CC6BDBD268","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0276b87afe391e9d9e1b89aef5cbae8088ca3cb0","datavalue":{"value":{"time":"+2012-08-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q442157$08EA932C-F944-4A88-8CC2-5FE2F8E8E2FF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442157$742FF5B5-1B40-4848-A681-291FC7817230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442157$592B66D1-5E33-4029-89E9-857EC9500FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442157$B64A8610-3474-4763-9DA5-ABF4D36E1E4B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9988a0959ffdea52eb7e160d3a31edccdf95e7e7","datavalue":{"value":"6064531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442157$30CE078F-7B9B-4FBD-9FB7-E8C50AEBC225","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db12c26c40331be66478d9da872490e4e882f5f8","datavalue":{"value":"ALL-SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q442157$3B976B86-5E0B-438D-8FD0-42EE61D30806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64a29c4a5bfa3313a3ef8963adfeef39f010eff8","datavalue":{"value":"model counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q442157$2DDBB1C4-2DEB-4C6B-B4D1-D703E3F27E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"620af3625b152dfebe3c1a4884ab27de55f4de90","datavalue":{"value":"FSA intersection","type":"string"},"datatype":"string"},"type":"statement","id":"Q442157$E0E91A36-A2ED-4456-BBB2-CE80A45C025C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a039976d216ddd0561f9b6c49f58c850b8bd8e55","datavalue":{"value":"regular expression compilation","type":"string"},"datatype":"string"},"type":"statement","id":"Q442157$F1ABE90F-E627-4040-8440-A726FCD82D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecdaca801769f2317e60ed5bfb00c2710cd72993","datavalue":{"value":"intersection grammars (FSIG)","type":"string"},"datatype":"string"},"type":"statement","id":"Q442157$6501CDE2-783A-47D1-A793-5AE0046AF47D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ce9cbcc0fc2b6a78318bde796c3568f4cac70749","datavalue":{"value":{"entity-type":"item","numeric-id":28582,"id":"Q28582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$2EE6AD9F-5169-4D0F-AB94-A064FB1C8B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"656dcb3eb788c3316c4e3a6808f3e7a570544894","datavalue":{"value":{"entity-type":"item","numeric-id":13575,"id":"Q13575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$D5EBD0E1-527F-4073-B24A-E45935CFF750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fde14699ec3921b2ddfda23b9fc31ea095df40a7","datavalue":{"value":{"entity-type":"item","numeric-id":21011,"id":"Q21011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$3908E408-B008-40D5-87A3-88D98BA9791D","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":"Q442157$DB7F0261-52B6-43D5-8987-8613CE70806B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b7812b34127b060595437027ec7e418f37dc87d","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2012.04.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q442157$61FBCF37-F99A-4E99-9EED-068BB0DEA771","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d5fb748b739aec533e526118b721c315ea50bac2","datavalue":{"value":"W2001123191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442157$A6E5562E-5305-49D7-A78B-301DB727F121","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f814032017aa40390d4c6f26a550d62bb08ff374","datavalue":{"value":{"entity-type":"item","numeric-id":5503674,"id":"Q5503674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$1E151859-9864-43C4-AE09-3BA039A7604F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"465c44674a94414cb55e7dc8cbdf974e7462af9b","datavalue":{"value":{"entity-type":"item","numeric-id":3287248,"id":"Q3287248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$A1B3263D-F1CE-4E09-83DF-826F963D31A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50a0891f95c5999eed337e7e4fa84dc55e3c44f","datavalue":{"value":{"entity-type":"item","numeric-id":5200054,"id":"Q5200054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$18A0272F-BE5B-4CDF-807A-9F164A7142C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5eb6b68136029a13cd474fbd1c46d44d6823bc","datavalue":{"value":{"entity-type":"item","numeric-id":313770,"id":"Q313770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$009A5BE5-55E3-45B3-8592-51C97D4EB79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef6d200e493964b07f6f93eda4c1ae61358d7d05","datavalue":{"value":{"entity-type":"item","numeric-id":3848195,"id":"Q3848195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$1470076A-D5DB-4FA1-9ADE-441DE3A62986","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"778337e94fc24740160fe8c27efa4893aff163c0","datavalue":{"value":{"entity-type":"item","numeric-id":5325878,"id":"Q5325878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$9A98F9BF-B88B-4441-99EB-6ABD6014D444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$6A2A8E79-126D-49F6-92E6-D2A6FD3E4D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faefa0a0ff8a3c304c6952e432f012b195df476d","datavalue":{"value":{"entity-type":"item","numeric-id":3503197,"id":"Q3503197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$23EE5068-D877-4DD6-BF9A-0AABB1C9F627","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86c473de4a003041033a704960e70418f4ff64d5","datavalue":{"value":{"entity-type":"item","numeric-id":753502,"id":"Q753502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$F2325DB1-2464-4614-9D35-791000D582E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1758902a66e2332f9d1d0268ecf38eeeb4d377f","datavalue":{"value":{"entity-type":"item","numeric-id":3862379,"id":"Q3862379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$E4704534-FFCE-4427-A8EF-C93B01CA20C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c631db6a8e2c2a2fd1f26938a2df0ad4934a573","datavalue":{"value":{"entity-type":"item","numeric-id":1401330,"id":"Q1401330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$E4878AEA-9420-46E4-876D-EF6514AD44AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0402c5c9b9a70fb0db065d34178815031abd5478","datavalue":{"value":{"entity-type":"item","numeric-id":5096847,"id":"Q5096847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$9289E51A-5A2D-402C-A227-B71E8003D2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d23332a0c76219895809984ae8d16a95bd89a5c5","datavalue":{"value":{"entity-type":"item","numeric-id":4217604,"id":"Q4217604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$FDFDF28A-592D-42CB-985D-74C75C290F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd455de603b3c19140aa58a894d61c29dbfe1207","datavalue":{"value":{"entity-type":"item","numeric-id":5485993,"id":"Q5485993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$B2890599-5FAB-4EDD-ABF1-1DF1B1ADC281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a75db9bdf4ecf4e316a158af7db19da7d850d73","datavalue":{"value":{"entity-type":"item","numeric-id":3434726,"id":"Q3434726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$B96A1957-11A8-42A7-B958-A504418F2BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$8265AB05-17D4-4F54-A882-BA960DA7DCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1637ae0857255a6743c06813574f040cbb6e41c2","datavalue":{"value":{"entity-type":"item","numeric-id":4449164,"id":"Q4449164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$AFA8E1B7-03D1-46CB-A24B-FEFF33FBDB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$9FAB5A47-EC97-4533-AC6E-E461AA588DF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87ad86f7b35f54c93cd6e03a2991b84374ce6dd6","datavalue":{"value":{"entity-type":"item","numeric-id":1200806,"id":"Q1200806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$23897860-711A-43B4-85F2-BA3FD31E40B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8698a79bf7fbbe338c24f5b3d0160194697fcccc","datavalue":{"value":{"entity-type":"item","numeric-id":5463988,"id":"Q5463988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$326F069A-3E15-4B5B-BF32-3150F023D542","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd892181c3e615e393cab5bfa821f8fa2f710cad","datavalue":{"value":{"entity-type":"item","numeric-id":1318694,"id":"Q1318694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q442157$7E0FD532-CBDB-4AB5-AED5-BDB56E9EB0FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b4f2f0ff741fe33dbaebc98ec1d90491aacd9d6","datavalue":{"value":"10.1016/J.TCS.2012.04.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q442157$14EC2E4B-EEAC-42E9-A699-0ECAED89A2B9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71f2b6b1cec0c2c34b442ccd1725325b420aff0b","datavalue":{"value":{"entity-type":"item","numeric-id":5200054,"id":"Q5200054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a8b0b891f6ae426066329f412ae8365acc8628d","datavalue":{"value":{"amount":"+0.9502211809158324","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":"Q442157$40DD99EE-CCF0-4F02-9656-7965C3FF7117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba6edb2b561f16b39246aae3908a36b4e292e3c9","datavalue":{"value":{"entity-type":"item","numeric-id":5325878,"id":"Q5325878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b4f40522d0348bfe137ee9cb831366791320d1","datavalue":{"value":{"amount":"+0.7535227537155151","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":"Q442157$978AEEBF-8CFF-4F47-A098-2F054CAB890E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f807afedc6fe6f2dc9f2499159cc9f18d5a220b","datavalue":{"value":{"entity-type":"item","numeric-id":4475627,"id":"Q4475627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f961f6084812035035fdbeb3a8392e83efa50a4f","datavalue":{"value":{"amount":"+0.7443438768386841","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":"Q442157$888F1E0D-5B78-4EFF-9CF6-B63485A94934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469482f8c1442593e77f539320e4f40dc3c266e9","datavalue":{"value":{"entity-type":"item","numeric-id":862403,"id":"Q862403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb4cec9f4207b613ed9b2d175b5893826b1cb540","datavalue":{"value":{"amount":"+0.7369950413703918","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":"Q442157$802E9B2E-CA55-4752-9D84-7FE0DF53A0F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"111a9852563a3d243e7014ac063b6785f81a7fd0","datavalue":{"value":{"entity-type":"item","numeric-id":3588365,"id":"Q3588365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc21134df0f09d72584bf7e0dbdc872bf64693c8","datavalue":{"value":{"amount":"+0.7362672090530396","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":"Q442157$45CD9B0C-0DF3-4B6D-8EDE-4AB437FA2032","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A finite state intersection approach to propositional satisfiability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_finite_state_intersection_approach_to_propositional_satisfiability"}}}}}