{"entities":{"Q4449219":{"pageid":6478818,"ns":120,"title":"Item:Q4449219","lastrevid":48234409,"modified":"2026-01-04T01:36:59Z","type":"item","id":"Q4449219","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2038754"}},"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":"Q4449219$227B7466-0C47-4F72-AD7D-C19D313E5448","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"66fa7bcd99199fae8476e000c686bc2281203cf3","datavalue":{"value":"1039.68074","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4449219$0603E64C-BCEA-4682-BE28-F01CE2BD0184","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df162d37f422d461e406e7314360ac26287bb","datavalue":{"value":{"entity-type":"item","numeric-id":386610,"id":"Q386610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4449219$45EA21CD-470C-4C06-B71D-2C4EE7FE4330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a375d8768160d412502d42bb68a0091e7125c98e","datavalue":{"value":{"entity-type":"item","numeric-id":483303,"id":"Q483303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4449219$8DF4A7FE-5095-4842-BD8C-0B069DE9DB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01a18e111e56a04dc2b8d1c99cdf070b4eb02f1f","datavalue":{"value":{"entity-type":"item","numeric-id":515664,"id":"Q515664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4449219$CB736DAA-977A-42E5-8F15-085D9E7E122E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b91b7e9b71b17972586982d48b569d6d7014de4b","datavalue":{"value":{"entity-type":"item","numeric-id":671528,"id":"Q671528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4449219$71D653AC-8ACB-425D-91E4-56D86CDD597E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4895f1c2b2fa5f03866021d880ae705f028de523","datavalue":{"value":{"time":"+2004-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4449219$D17CE89D-F8AB-4E30-939F-E4CD1F7E4B99","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a888df86c0f106087cd0950379005106515c4b1b","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2719/27190776.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4449219$92C46DCB-682E-483A-82C9-86B11A30D753","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4449219$518BF820-29C5-4FC3-8492-18F408C35A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4449219$A27E8240-A3AA-46C0-A3F8-EADEE984321A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"79d4b8b8e03ead81443fa4571524e7ceb6a94268","datavalue":{"value":"2038754","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4449219$D9F17F39-EEFC-4AE1-88BB-21118910BAF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d701d4ab2eabb5c877299b967bc01c2e297974b","datavalue":{"value":"Model Checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449219$CB24E1D0-3F1E-4D9E-BDD7-A4E28FE29A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fff7125545fcdacaefe3808a1a5f0e0a281b403","datavalue":{"value":"Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449219$8D3FBD40-BD5D-47D9-B3BC-4B78EAFFCA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2705f53c0e9bbe25053fa04eb10e8e0dc4ad41f0","datavalue":{"value":"Temporal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4449219$EB60DE04-6E7A-4D32-A1B4-C24178D12D08","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":"Q4449219$B92F37E7-8BEB-45C5-B262-A1ABAB6E78A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbd691531734922edd8772fce2454931b990fb7a","datavalue":{"value":{"entity-type":"item","numeric-id":4535054,"id":"Q4535054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89fd0cc6b0f1c78634adc6404f755abd8ea5760","datavalue":{"value":{"amount":"+0.8147193193435669","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":"Q4449219$C9EF69FA-CACF-4DD4-BDFE-F920310ECE89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a978a37ccb7606ce13ff61e0ba0de3e892e48222","datavalue":{"value":{"entity-type":"item","numeric-id":4536434,"id":"Q4536434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57b67985c1e8657087cfbc421f357816d0ef2085","datavalue":{"value":{"amount":"+0.806573748588562","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":"Q4449219$93F7AD78-C1E0-48FB-B2DC-E649CDA540F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a29eb64f5dc5487e462322916b7e8d41d0cb95cc","datavalue":{"value":{"entity-type":"item","numeric-id":4551151,"id":"Q4551151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16059f780958661801025bcea97155c1dd56d24b","datavalue":{"value":{"amount":"+0.7959313988685608","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":"Q4449219$1AF6F944-B346-49F7-BDAA-D150DC283A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68d8942f82b7fc79d621cda54f277f386b91022d","datavalue":{"value":{"entity-type":"item","numeric-id":5703796,"id":"Q5703796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16059f780958661801025bcea97155c1dd56d24b","datavalue":{"value":{"amount":"+0.7959313988685608","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":"Q4449219$8560785C-BC7A-4A3D-8C02-4886F980E2C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7052dc79a4364dcdc1d8f28646e03c568faa29","datavalue":{"value":{"entity-type":"item","numeric-id":948087,"id":"Q948087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdc9af20a1b0f652ca3be396bf773be18a0f8d3d","datavalue":{"value":{"amount":"+0.7877610921859741","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":"Q4449219$FCF3C1CC-7561-4943-B5D6-9038040A2058","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4449219","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4449219"}}}}}