{"entities":{"Q6154575":{"pageid":13288955,"ns":120,"title":"Item:Q6154575","lastrevid":57530001,"modified":"2026-03-31T07:10:57Z","type":"item","id":"Q6154575","labels":{"en":{"language":"en","value":"Safety and co-safety comparator automata for discounted-sum inclusion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805526"}},"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":"Q6154575$42281C95-FEA6-432E-9117-F02DC4E2946F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7fb836de714af8d2cf3c7936e743f8c58d2f0d8b","datavalue":{"value":{"text":"Safety and co-safety comparator automata for discounted-sum inclusion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6154575$19171CE7-F2A7-4074-9C63-3A15FE6F8D05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"95c889c87036f0f1a64b5259078066b51a489765","datavalue":{"value":"10.1007/978-3-030-25540-4_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154575$27720FAC-2013-4699-9363-CF2723014DBA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"374d5d981724e451eaaed38b87c023caf00e1c19","datavalue":{"value":{"entity-type":"item","numeric-id":832235,"id":"Q832235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154575$548311CA-4477-4DBF-935D-2D9678588F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce87cbb6ded942a7df2b71cd7e21808de8efe775","datavalue":{"value":{"entity-type":"item","numeric-id":208771,"id":"Q208771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154575$7B805D2A-0F79-4BA6-961F-48CFC15391B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4ba228bb5693c2e3eb7592c46c7d713183c8c65","datavalue":{"value":{"entity-type":"item","numeric-id":2864836,"id":"Q2864836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154575$ED39580D-F0E3-4A08-A4EB-D67FCCB37A9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6154575$99430B38-6BC9-44FF-B991-3167D806A52B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154575$AF8BDDC9-5473-470F-B4AD-FAD85361FF4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d64ab7ee1dec5d9c6d4097805029e00a328bc045","datavalue":{"value":"7805526","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154575$15BA3001-78DA-4C31-869C-6FEF313066D4","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":"Q6154575$2B91FDFB-18B7-4BD8-B496-CF47A62D557C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f25031a220fa1625398e7d0b8d2f7e79d971e34a","datavalue":{"value":"https://doi.org/10.1007/978-3-030-25540-4_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q6154575$F24EBCAD-5858-43D3-B8C8-DD154B1BFD9F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7546b3fb1eb6c77e17328869d1a0678d24ed7f9f","datavalue":{"value":"W2962398095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6154575$7547B26D-4A2E-4384-806C-0F6ACE442513","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b8181ce4b172561fe354de354351905d742dc9","datavalue":{"value":{"entity-type":"item","numeric-id":6039397,"id":"Q6039397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73660f4f2f2d5a6dd02fed44c0a31448869aaee7","datavalue":{"value":{"amount":"+0.8159006237983704","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":"Q6154575$97E8E9A4-2BAF-4AA9-B147-A889C2162D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b4a387635add416f45b749a1e9a32300033da5","datavalue":{"value":{"entity-type":"item","numeric-id":5101346,"id":"Q5101346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb9792bf644342fd8cbd3b9239320a8070ed65c","datavalue":{"value":{"amount":"+0.7706542015075684","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":"Q6154575$B6392F13-897C-4817-831C-38124E439F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9c5198f36a07b1af0b299a68f07faf03d9dd5c1","datavalue":{"value":{"entity-type":"item","numeric-id":1653004,"id":"Q1653004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97243f3e195ae67e30a719ffe9aca5a1c8191346","datavalue":{"value":{"amount":"+0.7638247609138489","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":"Q6154575$4D9462A5-A0B5-4F7A-82AD-A1E530F61493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e43bc8cc968899a40dc5df53063e5b66f0a9a8c6","datavalue":{"value":{"entity-type":"item","numeric-id":5404475,"id":"Q5404475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37d40081db8923402058030fa649d88d7c04f8a","datavalue":{"value":{"amount":"+0.7139208912849426","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":"Q6154575$1C2EBE3D-877B-49CB-8C81-BEE0A11E61B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca5d0e0a2c13236f6d5b2670a9fa4ab3cedccb22","datavalue":{"value":{"entity-type":"item","numeric-id":2915675,"id":"Q2915675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7061243dfc4d36eb4378ea134d1750390781b65d","datavalue":{"value":{"amount":"+0.7133615612983704","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":"Q6154575$50EF7788-66E4-451C-B7AB-74282D7CA952","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6154575$02F2D82E-4E57-4223-8228-88596F367A50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6154575","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6154575"}}}}}