{"entities":{"Q3510810":{"pageid":5540714,"ns":120,"title":"Item:Q3510810","lastrevid":50400680,"modified":"2026-01-13T23:36:17Z","type":"item","id":"Q3510810","labels":{"en":{"language":"en","value":"A New Approach to Bounded Model Checking for Branching Time Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5297052"}},"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":"Q3510810$DA7E7303-73F1-4AB0-8149-4A6EA4776ABD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31a39436833ff1c978940faf53e263609f4a674c","datavalue":{"value":{"text":"A New Approach to Bounded Model Checking for Branching Time Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3510810$80BE0515-D548-49E3-9ED0-E17BA08A4E1B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae98fdf16943a60fa8a008d20d2b901380fce445","datavalue":{"value":"1141.68482","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510810$EDC364EB-6159-46DA-B4FE-3CAD390CEADC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f64606e9288b051b1efe5dba54a6a78fd1bb73b","datavalue":{"value":"10.1007/978-3-540-75596-8_29","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510810$8714AC63-5740-41BC-BD3F-2DBBC4C6B4CC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f0c0a62bbefd5f9c9dd39740c280110c09131ff","datavalue":{"value":{"entity-type":"item","numeric-id":693763,"id":"Q693763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510810$08368BDC-B750-4183-AF29-1ED1C615E71B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dde9477c31764f7e982fa5c7962174291d7bf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":259063,"id":"Q259063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510810$17D08C11-C4F3-434F-B834-5F9DE91696A0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510810$DEE8D716-CA95-4DD1-8224-E6DB32BEA30F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f56be72f9fbb489e432bf17d8b59be96c2fd855","datavalue":{"value":{"time":"+2008-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3510810$C5C0FB8B-D422-4854-B888-B81B317E87A2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510810$8358C641-8EE9-4539-A951-A0B0A5DF6EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510810$58839A48-0161-4C7B-A231-79A2ABB9449E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510810$C227994E-7C80-4543-8F9A-1B8957129A78","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"692ab799390506595cfed3e24e6c6b4457759d8f","datavalue":{"value":"5297052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510810$2F5168CD-A860-4135-A3E5-A9DD7ED142C6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3510810$5015D141-FB82-4387-ADDC-97675A0E7BF4","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":"Q3510810$BF8FF452-AAA0-43F8-9FDD-19C4997C6865","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ef85f38c4dd7edd2c128efd7b616a4e4b541730","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75596-8_29","type":"string"},"datatype":"url"},"type":"statement","id":"Q3510810$448A31A8-CA64-46C5-9B04-0255BA65E69F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b2676751d024ea17b7b8cd15eb5df80ccfe5847","datavalue":{"value":"W1570254110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3510810$7DD31E02-3F8E-4580-ACE9-404DC0387BF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ca58fba2f3f6c452d2fc675d43a44bd6661103","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52de1186e31444cedbf03d44371c90c60582ff62","datavalue":{"value":{"amount":"+0.8565687537193298","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":"Q3510810$F0D21ECB-3422-4C40-87C3-EAA5B97BDEDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2020a09089050fd9931facdaee62f5484d713b","datavalue":{"value":{"entity-type":"item","numeric-id":5392295,"id":"Q5392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee951827da3083dc4b2cf638db556662edb22e83","datavalue":{"value":{"amount":"+0.8439224362373352","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":"Q3510810$E3080650-1013-4059-A089-AD8197AA08EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6d32d018e6f0dd0c8af913c953da8d78c3e4dd1","datavalue":{"value":{"entity-type":"item","numeric-id":3003427,"id":"Q3003427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"474e4d109ba74d2fb52999680fd98140b9e95d8f","datavalue":{"value":{"amount":"+0.8435946702957153","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":"Q3510810$852AB6E3-0E21-43FB-8E78-454BF23354BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297f9a57f303c8c036d110ba8003ae3808693f2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422273,"id":"Q5422273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a99892ba45517829c195cda9dbe3967ac5048985","datavalue":{"value":{"amount":"+0.8331601023674011","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":"Q3510810$E8A08BC2-0A51-4C08-AE8F-9074E10C2D62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04bdf0742bdd522dee8d4e004977de201c067fa6","datavalue":{"value":{"entity-type":"item","numeric-id":2369883,"id":"Q2369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d344874c59ae0a1854a7031c109c2efa478e9348","datavalue":{"value":{"amount":"+0.8308132290840149","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":"Q3510810$0CDD414B-B2B4-40C0-A099-045E6F42D1B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3510810","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3510810"}}}}}