{"entities":{"Q6535831":{"pageid":14146974,"ns":120,"title":"Item:Q6535831","lastrevid":103502690,"modified":"2026-06-06T07:30:07Z","type":"item","id":"Q6535831","labels":{"en":{"language":"en","value":"Concurrent hyperproperties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7810656"}},"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":"Q6535831$BACD758F-5887-47D1-8408-98FB8837743A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03f13f73c95182eab9bc2407fe74b23a23f0979e","datavalue":{"value":{"text":"Concurrent hyperproperties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535831$9BB22A6B-9244-4E09-99A6-3463E73F6C3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"46085eba93ddccc2a21210a846e6d8727871a296","datavalue":{"value":"1547.68496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535831$1BDA02AC-F9FE-4774-BFA6-B1E654687584","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e216cd2329a275087cd2dbaf9969480c879bf64f","datavalue":{"value":"10.1007/978-3-031-40436-8_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535831$AB9CF59C-F163-4E18-9847-A8E1CCDB4BC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$765FE466-A9EC-47A2-8FDA-B6C76692A0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$623F8C64-0405-431F-B9D4-05C622ED3E11","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1952080acac824c5abaf90b4ba5029824c97690c","datavalue":{"value":{"time":"+2024-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535831$A21BAAD6-C461-4DD0-AF3B-AFEE898420D3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535831$36BCD844-1D0C-4698-B29A-E01AB18A2B26","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"543bc160d6c9ecfe25b96f37f14cda22bb7e6577","datavalue":{"value":"7810656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535831$5034D32E-E4E2-411E-A354-ABA85A162B69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535831$B4957119-AEE8-46C0-A9A2-5368B7127A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d824dca523b6078d8c18808795cd0fa8661d7ea","datavalue":{"value":"concurrent traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535831$32A2D0D6-62A8-49E4-8EC9-9D5BFA427676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535831$B824104C-5CB0-4D26-82D8-4D608A0A5854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca36a93b9cb0322970e369da76c616367a5c3d3b","datavalue":{"value":"may and must testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6535831$4D984B53-95E4-44AB-A255-DA4BB78D15DB","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":"Q6535831$814AFC8C-3589-4158-BFB0-D5C99C0DD0A6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"155a362f54f8a24c55b19836ddd09640acb45446","datavalue":{"value":{"entity-type":"item","numeric-id":4040147,"id":"Q4040147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$DA8C665F-5626-46EC-8448-AE5F28BB462A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff5174835849373a225a1c47a2e276f8d68f30a3","datavalue":{"value":{"entity-type":"item","numeric-id":3655757,"id":"Q3655757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$BBB8ADAA-88DA-46DF-A8DC-844273016155","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$02079DBD-A917-4A5C-8A08-E46F30FDAE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f911c4d17eb514630e7689684ba45d7003ae8275","datavalue":{"value":{"entity-type":"item","numeric-id":4858945,"id":"Q4858945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$E708E7E3-1A0A-4132-A4C0-51CCABC574A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c7d1f5608b137b63ea8f1b26a9663ae71113d0","datavalue":{"value":{"entity-type":"item","numeric-id":4967242,"id":"Q4967242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$D2A1F8BA-B01E-41DA-9AC2-D7753CAD81A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f67c1e63f57083d3ae4a372ffffc556fc42611","datavalue":{"value":{"entity-type":"item","numeric-id":3795192,"id":"Q3795192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$0E0ECDBB-3F77-4302-BF24-879D291620BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$5A3A86B0-32D0-45AB-9959-A3B2A1B49ECB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d223981ae7810a035830c0eb8a6cb984aabc840","datavalue":{"value":{"entity-type":"item","numeric-id":4536898,"id":"Q4536898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$0C86F10E-210D-4E65-B7F6-54BCA4FF7496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$E69EC185-A90A-40AB-B708-F609CD0B9EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$B2A271AD-CDD6-42D1-B8DD-B466205A9B8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1368e2949cc5bf3dcbd7755b7f4354895865cce5","datavalue":{"value":{"entity-type":"item","numeric-id":1190487,"id":"Q1190487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$7C4D823B-8A2C-4BBE-AA2A-EBCB5F538087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91fd66543d31c1344e0c099c5a84fd36bec7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3997896,"id":"Q3997896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$07E9EA63-4160-4859-8D6D-8333B1D86D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29a8d14eae1fab181499f44d4720082adebedfb9","datavalue":{"value":{"entity-type":"item","numeric-id":5845383,"id":"Q5845383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$5258ED83-734D-4F32-B2E7-078F25124439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84876ba11511103a32223173f2b1b32de4d1d0a5","datavalue":{"value":{"entity-type":"item","numeric-id":3718143,"id":"Q3718143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$BC47484F-B39E-49A4-8965-52BED1CB078A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535831$DEEF9483-BE5E-42EB-B5BA-D30028659846","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e743215197f7d370efd304a47ca4265b61f2fb7b","datavalue":{"value":{"entity-type":"item","numeric-id":4967242,"id":"Q4967242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92afe8b7e9c0a18b42162cded6edcea23722d46a","datavalue":{"value":{"amount":"+0.8153650164604187","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":"Q6535831$631C85F8-AB9E-49BC-A116-796255692323","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af82bde9559b30a3de873fffe47dc2d4f0df70a5","datavalue":{"value":{"entity-type":"item","numeric-id":832224,"id":"Q832224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2503947ffa2d86a56c8df6278c2156d1cb360082","datavalue":{"value":{"amount":"+0.7956159710884094","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":"Q6535831$490AA251-E11B-4F0D-95F0-5227E3DB3264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd427047b2441cd7c4fcf405b2ce2cbcb63eb67d","datavalue":{"value":{"entity-type":"item","numeric-id":2008281,"id":"Q2008281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2472323d08e3f5f6ccfee4e3de1efa54bac312","datavalue":{"value":{"amount":"+0.7797214984893799","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":"Q6535831$E5C44A4E-E443-4C1F-B9AD-95CB543D4CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d3edab88afa51955f4c584f4d10c7fdf468a3dd","datavalue":{"value":{"entity-type":"item","numeric-id":6045002,"id":"Q6045002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46b3aca59fd73d89bf8fe98592d65f4af41826fb","datavalue":{"value":{"amount":"+0.7694298028945923","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":"Q6535831$9C5F4E8C-D51D-4C2C-AAF7-D8FB736F7D8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a56b61384a9324d79900c0edcb4360b18b09508e","datavalue":{"value":{"entity-type":"item","numeric-id":2152640,"id":"Q2152640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b002b8d25d44e761d86bd7dfad7903194a84f26b","datavalue":{"value":{"amount":"+0.7693758010864258","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":"Q6535831$BFE3FC96-0D92-401D-9A2B-40A517A4CD5E","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":"Q6535831$61DC6C47-0E69-4BE2-AAB6-B562F893B914","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrent hyperproperties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concurrent_hyperproperties"}}}}}