{"entities":{"Q4353637":{"pageid":6383236,"ns":120,"title":"Item:Q4353637","lastrevid":46940049,"modified":"2025-12-25T21:45:15Z","type":"item","id":"Q4353637","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1059330"}},"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":"Q4353637$281C9349-2F52-4EB1-BDDF-5442F88D16C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"367f4784304f81462cec5e67c39d4da2684faac3","datavalue":{"value":"0883.68090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353637$5587ED69-E03C-4AE7-A2CA-718235E36E3D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"01b122714b074858e7dfe34a02e4db705a543a81","datavalue":{"value":{"entity-type":"item","numeric-id":200942,"id":"Q200942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353637$DE48508A-70DA-47CE-B414-DA3F993BA36F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bb5b0fc95b875540ac51248d37b76d8d5d31061d","datavalue":{"value":{"time":"+1997-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4353637$8A9E7FEE-4D63-4158-A7E3-61B3C2706655","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353637$2DF480C4-1536-49D2-986A-698A29330D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353637$78E066BF-4259-4C69-8350-A05E636FA243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353637$DF6A6654-98B8-4733-9E9E-D88EA98D7641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353637$057C01D7-D9C2-404C-95BB-DED3783AB7A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea8b3790bd8b7447a46cbe0b77e5d192b31c903e","datavalue":{"value":"1059330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4353637$77D7D2BD-BD77-46EF-9B85-D8A6E88ECA80","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bb727930ea8a19530271bfe36907835b7dfc60c1","datavalue":{"value":"state-space explosion problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353637$9E14F464-1622-4D2B-8074-7089E207BF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"decbc67be0bebdc2a190c5e64a7e4e222bc821c6","datavalue":{"value":"model-checking concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4353637$2AB3F1A4-9619-45F3-80B3-FD93ECF28DA5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4353637$C504ED7B-6EA7-433C-A793-5F366355AE62","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":"Q4353637$027B960A-5B6B-4F7B-83CD-B35BCAB8A83D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4cc3b957fee28e812a6d90197c8aae0f3811c2","datavalue":{"value":{"entity-type":"item","numeric-id":4503926,"id":"Q4503926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"518c5aeafb46a7c1de9c719fc15960adfd548472","datavalue":{"value":{"amount":"+0.9567270278930664","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":"Q4353637$CE426B7C-1B08-47B9-AFA2-0EE1CFE37864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430a37bf04db9c21fe1ff8141794a20cfc720c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1854268,"id":"Q1854268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15c7b9456e918cdeb23dd6c11524ffd286d75e44","datavalue":{"value":{"amount":"+0.8853470683097839","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":"Q4353637$651A6962-2CEC-40A7-8CAA-2238F2F344B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ab2a2800d318bfebe60af199e1e3bdd16617e0","datavalue":{"value":{"entity-type":"item","numeric-id":3176364,"id":"Q3176364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d97bed6e172eaf7713b0bf841ea6902b6724a00","datavalue":{"value":{"amount":"+0.8480933904647827","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":"Q4353637$C3673C85-8C3B-4F63-92D8-847C45C75C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"381d83fcf2734c1d0e49bece29bfb2c07c474910","datavalue":{"value":{"entity-type":"item","numeric-id":4507826,"id":"Q4507826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bdc93edf858463dd3b3c663678548a5eafd4710","datavalue":{"value":{"amount":"+0.8351272940635681","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":"Q4353637$8A1C08C7-9EF6-431D-80FD-7300CDAA8053","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4353637","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4353637"}}}}}