{"entities":{"Q685106":{"pageid":686955,"ns":120,"title":"Item:Q685106","lastrevid":47188318,"modified":"2025-12-31T23:06:08Z","type":"item","id":"Q685106","labels":{"en":{"language":"en","value":"A stubborn attack on state explosion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 417065"}},"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":"Q685106$6BD626CB-E1D8-4EE6-A566-55FE1582ACCD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"984dab81f1b2a6734b82c12cb2f7f39fd3f53568","datavalue":{"value":{"text":"A stubborn attack on state explosion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q685106$A671874E-FA52-4AEC-8CCB-214369350477","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78289573c5d23bdfa57a8f3741b4d0816f78b513","datavalue":{"value":"0783.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685106$10E2A7DE-7ADD-44EF-899F-75D69A2F6FB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3d6e873753b90ad364060658fc03d0bee2d892dd","datavalue":{"value":"10.1007/BF00709154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685106$1C94B6AE-70CE-4D62-A6B7-4E6ABD20AE09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7aa02b1eb91e3ae48707cbc0221a827279d0c001","datavalue":{"value":{"entity-type":"item","numeric-id":216118,"id":"Q216118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685106$5B22EF0C-5891-4E08-A664-66653B2E22AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685106$74333D10-A8A5-4830-A14D-E9D5395247A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"45eae072dc2fde41ae8741e47d8a8d06eb2b2f63","datavalue":{"value":{"time":"+1993-09-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q685106$14BBA531-93B7-4D81-BA63-616367E45EC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685106$CE5A1D1F-2BAF-49EF-811C-0C4F44910FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685106$7E20AD4F-4D28-4CF0-92C7-F2BF9080C6BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685106$1E4134BF-EB94-43FB-9709-830A034F88F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b73b4db43ddf629698fce49fe15d181854b29ba9","datavalue":{"value":"417065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q685106$CB5A610F-5F22-4B70-AF69-805C83F519D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38ecf7ed506796a18e07f31f3354bf6e57f780a6","datavalue":{"value":"\\(LTL\\)-preserving stubborn set method","type":"string"},"datatype":"string"},"type":"statement","id":"Q685106$9CD8E436-5C5C-4A7D-92E0-04DD572FBB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb0d5a5d3628516f914047d59892a208d47fd72","datavalue":{"value":"automatic verification of concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q685106$62664D97-1B3C-470D-93E8-70439CCD5240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"950f1911dc3680fd67a2354fd5280c2e2f840a77","datavalue":{"value":"reduced state spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q685106$44F0CC9E-9F84-4999-84F5-D256F35169A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q685106$E4925557-ABBC-4AD8-A05C-635DAB15CA10","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":"Q685106$C31FDB09-1AC9-4FAF-9DDB-6D1E6AC80A4A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685106$63C7A9E6-ED13-4C36-B9BB-660241D4851C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e83259e578154537ff65896b57deb09fbea84dc","datavalue":{"value":{"entity-type":"item","numeric-id":4037087,"id":"Q4037087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685106$60F62C99-D98C-4FEA-9DA5-27CDAF721988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71de609ff45fda59e00d0de57593961b4ccdadc","datavalue":{"value":{"entity-type":"item","numeric-id":4037108,"id":"Q4037108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685106$E6DA245E-205D-414D-A450-70FCCF3E83F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91956939e5cb9f6747ac2f94705cf9343932b4fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801499,"id":"Q1801499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685106$9DEF9452-527C-4BE4-A0AA-01E2BE3E8F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685106$3D27360D-129E-4752-B4CE-0E4D316BAFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0342c876a7a7d8f808606cde8512fe8e2e071b3","datavalue":{"value":{"entity-type":"item","numeric-id":4037102,"id":"Q4037102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685106$A6161925-27E4-42D3-A71B-07B11D86A791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b507ff77ec0feccb633849d918fd8b741992ff","datavalue":{"value":{"entity-type":"item","numeric-id":2639046,"id":"Q2639046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685106$2EB6E0C5-AE6D-4DBB-9FB7-E7C5FC9518A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"340ea97c0f2f383d364057042ebc9f9438fcc85a","datavalue":{"value":{"entity-type":"item","numeric-id":4091421,"id":"Q4091421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685106$F7BEABC0-418C-4EAD-9C35-C4CD6799A541","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685106$BA147DCA-38F3-46AE-A67F-5A48FA3DAA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4611966d9c6992f0f191e4c76a5f27ab1e62fc","datavalue":{"value":{"entity-type":"item","numeric-id":4037089,"id":"Q4037089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q685106$767925B2-6B39-465D-AF28-E02066ED1309","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f24e54a4aef43f9c0722ab87d1c5a28fddfaee7","datavalue":{"value":{"entity-type":"item","numeric-id":4037087,"id":"Q4037087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aec57aa173e8d95805b7d0659cf933c30af52bc","datavalue":{"value":{"amount":"+0.9905694723129272","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":"Q685106$6A931C97-FF76-41A6-B280-3AEBD0CBE586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0cde609a57b0eef5620aea058896cf96b88e938","datavalue":{"value":{"entity-type":"item","numeric-id":4353636,"id":"Q4353636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8aec57aa173e8d95805b7d0659cf933c30af52bc","datavalue":{"value":{"amount":"+0.9905694723129272","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":"Q685106$F0BFEAC4-E939-4CE8-9F44-E86179AFCB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f9c94bc5f592e002f3178d997ed103079b4518","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca2ef263271f49043f72f93cd0a9858bea2cbc2","datavalue":{"value":{"amount":"+0.9899638891220092","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":"Q685106$2F260233-8607-41E5-B9CD-D024758BD5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de4e502d7c3ba3e99d0891f471f671296cd5ca1","datavalue":{"value":{"entity-type":"item","numeric-id":4507831,"id":"Q4507831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca2ef263271f49043f72f93cd0a9858bea2cbc2","datavalue":{"value":{"amount":"+0.9899638891220092","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":"Q685106$BA0CA68D-A3B2-432A-8E8F-91E133593639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f04990e0db6c9aeff1abc0d16d8e9a08477e183f","datavalue":{"value":{"entity-type":"item","numeric-id":1774568,"id":"Q1774568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86e8c0148d543416925239f143cc027bf9cf1a93","datavalue":{"value":{"amount":"+0.8917971253395081","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":"Q685106$218DD781-F90F-4090-AC3B-04A22299E623","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:685106","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:685106"}}}}}