{"entities":{"Q4255570":{"pageid":6285171,"ns":120,"title":"Item:Q4255570","lastrevid":46688589,"modified":"2025-12-25T09:57:44Z","type":"item","id":"Q4255570","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1324666"}},"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":"Q4255570$05E036C9-BEE1-48EE-94F9-CEFB17AF420B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"14704581fcc835ae89c07b508ced625c67d46443","datavalue":{"value":"0920.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255570$C656E0B3-0288-4EB5-B0ED-D982F8FECB4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb47f6abab9fb6696f03e8324ba80865eb13814f","datavalue":{"value":{"entity-type":"item","numeric-id":1589588,"id":"Q1589588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255570$0C8DE326-4841-4030-B84E-98FCBFA5E12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"137d45842450b23ecedfe4c19e45931f80e43466","datavalue":{"value":{"entity-type":"item","numeric-id":4255569,"id":"Q4255569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255570$F25EE16A-6E4B-4EF5-B1AF-48992126B756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0641913a8444d5e412cfed3d21871f30ffc78d4f","datavalue":{"value":{"entity-type":"item","numeric-id":1856176,"id":"Q1856176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255570$16056C8D-400F-4F69-925E-9836A41CB529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df2e2f048ee84a3352ba33238fe71a96642fbdee","datavalue":{"value":{"entity-type":"item","numeric-id":3636876,"id":"Q3636876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255570$430832CD-6651-432F-AB05-8CD6760BD4A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e4e5ed72bee66087d415d4f69d49eefd101a453","datavalue":{"value":{"entity-type":"item","numeric-id":526749,"id":"Q526749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4255570$E164A049-058B-402A-8F04-4A638240D489","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a8644b3f3170c33297fd848370044d7764102e51","datavalue":{"value":{"time":"+1999-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4255570$03001E7C-A33F-444E-BF74-789B0C557373","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35d3d2ce3a33a19e15a8c5d6819ebdec20e63f4c","datavalue":{"value":"http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=23&iss=2#23.2.008","type":"string"},"datatype":"url"},"type":"statement","id":"Q4255570$A2F882DB-3360-4F40-8236-76141B67CA68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255570$AD36FE02-8731-4674-8970-E6C8E1345E13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255570$61A8637E-D51A-4935-9858-850B99668447","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e92e0350530bdd76f1cd448aabac45b70cbbc39b","datavalue":{"value":"1324666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4255570$E93FB6B9-4BAB-4EE4-B019-15724723AD6A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"261888da12e497343a706346470f9845c915722e","datavalue":{"value":"symbolic model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4255570$076E7112-77BC-4C8F-899F-8B5EFCBA4648","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":"Q4255570$C202ED14-2B97-4B76-9037-D891BA5C7EDA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"877150049cf44e2eaeaafe10c490adfb982c23da","datavalue":{"value":{"entity-type":"item","numeric-id":5754518,"id":"Q5754518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a62049a7da6436daed4a6ccd23d396411431a2e","datavalue":{"value":{"amount":"+0.8028108477592468","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":"Q4255570$8B13D5BC-B275-4D57-B141-2B1E9766320A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2331247730812214a89c61f4db7268aeefac26d","datavalue":{"value":{"entity-type":"item","numeric-id":5464768,"id":"Q5464768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85352fd8367efa98c7e0f8d0b9f33f68039e34e","datavalue":{"value":{"amount":"+0.7961018085479736","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":"Q4255570$998E6C65-F571-4DAC-A204-040B5443C343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e71129dc6a8c9ae366192aeda7c835f7ff18f8","datavalue":{"value":{"entity-type":"item","numeric-id":4647854,"id":"Q4647854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d686398e855e4e6abca2f3bf1b8a7c9bc46b64c","datavalue":{"value":{"amount":"+0.7690662741661072","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":"Q4255570$145CD376-D87A-4D1B-B3E0-2F151F360133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3d10c5b37687ed54473b7763b4e0c3a0140dd69","datavalue":{"value":{"entity-type":"item","numeric-id":1858438,"id":"Q1858438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"632aaa4d9e50d31d0b17697636072877721e35f4","datavalue":{"value":{"amount":"+0.7644767761230469","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":"Q4255570$8322F540-1A0E-4070-B828-8614BE5DBA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32fd399e74ab009038c86b9b88f645441530ce92","datavalue":{"value":{"entity-type":"item","numeric-id":4422082,"id":"Q4422082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b2d3fbcce13ac1851f544358426f0ea17de92ae","datavalue":{"value":{"amount":"+0.7644440531730652","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":"Q4255570$1D59DF3C-5D86-4529-8987-0CF45FB52853","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4255570","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4255570"}}}}}