{"entities":{"Q4738286":{"pageid":6767866,"ns":120,"title":"Item:Q4738286","lastrevid":48317842,"modified":"2026-01-04T08:46:10Z","type":"item","id":"Q4738286","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2087486"}},"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":"Q4738286$80CD2A64-3C7D-4F43-9E72-9D704DE553DB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcadbfe6eed841e7b82ef96580b838ed93f98e88","datavalue":{"value":"1060.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4738286$D5BC7D33-3577-4426-B9C8-3F08E8A2984D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81c83c28843efefafe1f80734e19c2e6ff309a9c","datavalue":{"value":{"entity-type":"item","numeric-id":213104,"id":"Q213104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4738286$48EDF58D-115F-4FC9-A149-911B4E1B3B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc6828000455d6a95d0c2ee169c20b1ba0a23b3b","datavalue":{"value":{"entity-type":"item","numeric-id":472793,"id":"Q472793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4738286$43B592C4-7C76-41E5-B6D4-D9BFBDA0E8C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0009aa4dc58ebbe2a53a27211dabb82b46fea01","datavalue":{"value":{"time":"+2004-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4738286$15F01B88-5625-4C8B-ABA4-D343669908C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2c0986141d6902a0e2105ecff68c15baf7ae82c","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2300/23000026.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4738286$13E202AC-57D3-44FF-B15E-8D031025B991","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4738286$EC689A10-A637-4F08-B8D2-E14FE8CAF6BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4738286$F4284C73-2EB3-4687-9B36-1BF4EC56EE8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4738286$DD33B2F9-2614-4D19-8D6F-EF4147FA2132","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9409f564dd913ce1d874f3cd1beb99c994c16bba","datavalue":{"value":"2087486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4738286$94DAE959-B635-4F31-92E7-BFAF1524D4B8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"048dab55940c5c060a72a2bbad5f3dabbb5c4f18","datavalue":{"value":"Mazurkiewicz traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q4738286$FB33B376-9F0D-4329-B1EF-7284DEC05F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4738286$8D0AA3B2-DF5C-4B7B-BDCF-0F64E1D21C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54d6f74ee5b0d93bdc9831ec4d5b6853e8dcdd88","datavalue":{"value":"safety and liveness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q4738286$6DB384FB-7F22-4454-9204-1E8C0360FEFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4738286$255D9E4B-FBF6-4E89-9A7E-6B18807F6721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c15a9522fa76ef9de67d9e9ac17c58b3f58c5b1e","datavalue":{"value":"aperiodic monoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q4738286$50A1D2C7-A2FA-4EF2-BC6B-350D5DACBFA3","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":"Q4738286$745B9D1B-E1B4-46E2-958B-99CE8922A2A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ff7ed19dd99fa36ec0577629a48b05cbb306a16","datavalue":{"value":{"entity-type":"item","numeric-id":3975031,"id":"Q3975031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3bd09af801b3edc5c6d21811ce032138c6b16f2","datavalue":{"value":{"amount":"+0.7830711603164673","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":"Q4738286$5A59D905-9156-4651-A003-AF6D71F07270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06187492dbcfe97f1de094a73ea481a361607d87","datavalue":{"value":{"entity-type":"item","numeric-id":4353633,"id":"Q4353633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929aee48b6a7b030ae79f5eee0aaf245920f269e","datavalue":{"value":{"amount":"+0.7778786420822144","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":"Q4738286$E4D9BF05-DC1D-4F28-B08A-C86656EA4943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43c9ef6e43b2ed5f3e86cbf9d49a047d09cd8abd","datavalue":{"value":{"entity-type":"item","numeric-id":2943770,"id":"Q2943770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f04284ae55ddf508ea18932cfca66d9c0af02eef","datavalue":{"value":{"amount":"+0.767855703830719","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":"Q4738286$2F17C31C-3E69-46CD-AF76-ACCE81551575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e45e84af58c56f646c20ab46e110f7bce0bcdc","datavalue":{"value":{"entity-type":"item","numeric-id":2506491,"id":"Q2506491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f03c1ae64d842bb0c3619918b94678a79aedab","datavalue":{"value":{"amount":"+0.7602764368057251","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":"Q4738286$8451BEC2-9587-48CC-86DA-5A8E85B7781C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a23c6ee92dbaf66513ec87024db86d3f889f745","datavalue":{"value":{"entity-type":"item","numeric-id":4029611,"id":"Q4029611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab8581fe5a11039b63ae3b9052ab4131874d380f","datavalue":{"value":{"amount":"+0.7573177218437195","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":"Q4738286$0419BEF1-242E-41F8-B7B2-96B4833B046C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4738286","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4738286"}}}}}