{"entities":{"Q3569852":{"pageid":5599756,"ns":120,"title":"Item:Q3569852","lastrevid":51018254,"modified":"2026-01-16T05:50:22Z","type":"item","id":"Q3569852","labels":{"en":{"language":"en","value":"A SAT-based technique to analyse networks of finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5724239"}},"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":"Q3569852$451A6022-3CED-4E37-A20B-F680C1204259","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e258f4921d37b08938f326da5758991235d5421a","datavalue":{"value":"1212.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569852$F7C62706-0B5D-49E0-ADC5-5D3682BC5EA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9edd92e42a7c65f96b325af59203586c0e1cff0","datavalue":{"value":{"entity-type":"item","numeric-id":1028969,"id":"Q1028969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3569852$97C0156E-5BB6-43CD-A71B-734D445CAE4D","rank":"normal"},{"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":"Q3569852$C3C92FAA-93A8-46F6-915A-1F2F7DA6FA38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ac94dd57b5c65400291c38d5f09a7ad8c1a5f3db","datavalue":{"value":{"time":"+2010-06-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3569852$1B4C78B0-C0AD-487D-A22D-1FB308B84640","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569852$4627F03F-260B-4EB1-86D9-D03ACF3CACDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569852$D3F89DA5-11FD-4E02-A18E-3A8B20586528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569852$FA60EBBB-1366-4E80-9D95-1A193E8D7349","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b634ea3afd13a59b264ce8053fdd683c6f0398ad","datavalue":{"value":"5724239","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3569852$77A14410-1B19-4189-9F09-C9AB1F8A141F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ab41959fd9494b5548d09c762ca90a9336e1c7","datavalue":{"value":"bounded model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569852$B049A311-A335-467C-8FD0-9328C1DE22AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5867ec7b44aefc01672736513dfe6410a0300cd5","datavalue":{"value":"SAT","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569852$82B5F040-2218-40C7-9F3B-C255FCDC398E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8fe1ec072eddb82e8c6723b370c91fea5db0efe","datavalue":{"value":"finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569852$DB13F378-7A2D-494A-B757-AF7F6F6549BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf17229bc759b8968385466ece553a4bf034ef18","datavalue":{"value":"ECTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3569852$DD7005C8-608A-4A76-A485-DC5B120B39A9","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":"Q3569852$0CA5775A-D25F-4C94-B038-18CA436B6A8F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb19f720a449d225c198337a4ad006475c31e07d","datavalue":{"value":{"entity-type":"item","numeric-id":5464170,"id":"Q5464170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a13a5c938fcae2ffcc97f1193bab342c5d8dd089","datavalue":{"value":{"amount":"+0.7759691476821899","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":"Q3569852$72374CEA-5831-4F8A-BBA3-05E22B2F85DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8185c638f112cbd253c828f2a16aeebeda3e4a4","datavalue":{"value":{"entity-type":"item","numeric-id":2729082,"id":"Q2729082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13e515504eebaa9261ea729c97a8f4bf2c80308a","datavalue":{"value":{"amount":"+0.7594703435897827","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":"Q3569852$C47E4674-21BA-4B02-8013-306858288300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c05564e307a5083a6c81d193eb316b1f80be51ff","datavalue":{"value":{"entity-type":"item","numeric-id":5493231,"id":"Q5493231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b242920524cdbbcfd94fea06046baee06a0f13d","datavalue":{"value":{"amount":"+0.7413398027420044","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":"Q3569852$622FD272-0B5F-481F-A1C0-F7AF1794667C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db01d7746b354d149ddaa4f5d652b8a9c7e816c","datavalue":{"value":{"entity-type":"item","numeric-id":4461759,"id":"Q4461759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf331a674a750980ed149a131de48d0f63452462","datavalue":{"value":{"amount":"+0.7380216717720032","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":"Q3569852$1A6F934D-8EA4-450E-9779-19FE57B6C7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2112e421e7ddbec62d4191922a7cf6343287e1c2","datavalue":{"value":{"entity-type":"item","numeric-id":5422299,"id":"Q5422299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9f1402fec04867ac80d5badfc1b99c064335a7","datavalue":{"value":{"amount":"+0.7377490401268005","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":"Q3569852$BA6C484B-71A3-413E-B3F6-D5B4DED4BCD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3569852","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3569852"}}}}}