{"entities":{"Q2364684":{"pageid":2375427,"ns":120,"title":"Item:Q2364684","lastrevid":57879792,"modified":"2026-04-02T22:25:22Z","type":"item","id":"Q2364684","labels":{"en":{"language":"en","value":"A verified algorithm enumerating event structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751322"}},"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":"Q2364684$4B3C89D6-DC8F-4EE7-931C-20BA1A9303F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"64bd09bb8d4af4194ebfda6a17652f2f6d4e0d61","datavalue":{"value":{"text":"A verified algorithm enumerating event structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2364684$95CA62C0-9523-4FD5-B38B-CB958D161C0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd4eec87247b25ba41e579c1eca3731133ad9dec","datavalue":{"value":"1367.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364684$A75D3C5A-A8C7-4403-B5B0-278D0F8B6CEF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29339b85adb13d726538dbeb96426498bff484f7","datavalue":{"value":"10.1007/978-3-319-62075-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364684$57C4CB9D-FAB1-47B2-806C-88167C231884","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd203fcc0df99bfc5d96e5da8c712e14410da8f4","datavalue":{"value":{"entity-type":"item","numeric-id":1945909,"id":"Q1945909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$71D9E130-E409-4094-8A46-9FB8F43AFC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5818653d66f1bca89cc688d0e890b9b728528f2e","datavalue":{"value":{"entity-type":"item","numeric-id":820133,"id":"Q820133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$8753CDFB-90EF-4758-B64E-E23C1CADA5E5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2364684$0ECC17EC-B8CD-4193-A988-D8D7E751D57F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5e0a15c526b6c4861de01fcffc3a98d446642103","datavalue":{"value":"https://arxiv.org/abs/1705.07228","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364684$712D5A1F-95D1-4DED-9D9D-225F412ABA8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7813a15be7b2ad6331c7551476653cce65aa8e40","datavalue":{"value":"http://hdl.handle.net/10023/11248","type":"string"},"datatype":"url"},"type":"statement","id":"Q2364684$D93B3A5B-E016-49F4-8425-8F2E0635696A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364684$8F32410A-570C-4593-A87C-9A0CDDEA1663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b6a686fef1013593a32f9e8e67eecdd50e96866a","datavalue":{"value":"05A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364684$45C495BD-EE3E-4EBB-94AC-61D80BFED8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"41797f091d2c1efd3accd53dd04e594e696bb107","datavalue":{"value":"06-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364684$363BCC37-C633-49D3-BA24-FF78DCC36612","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364684$DB9622CC-635A-4A18-ACAB-81EA6F1EC5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364684$ACAE439F-2A4D-495C-9B7C-E039C8D6F0DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e3ff6cec58d8c67de8ca8780de3a776ce60f311","datavalue":{"value":"6751322","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364684$7EAAA484-22A6-4207-A0BE-6533F06FA7EC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364684$1051058A-F297-4B87-BD8D-D6D24E9FA240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97319c3c60184c0f648faffd79c8c819fc8a641f","datavalue":{"value":"OEIS","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364684$01C46D52-8A8F-4680-9E9B-65E06C8DD22B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b915be9f6ec0c66b4f180536969f7d224b1ddca","datavalue":{"value":"verified algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364684$6731FDF0-5A09-41DA-B686-535BCAA56F21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816681eea21269f3ad56375e4f8d7d873b144eb6","datavalue":{"value":"enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364684$EBCD2AC7-4F12-4B99-8447-3F2164627BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa64eae916ac50f9d0bdde79696d641a11ea4cba","datavalue":{"value":"counting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364684$FE47AF53-F615-431F-92EC-F107E187B7D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78950f402e17bf71957d1b58185d7b1af5fd520","datavalue":{"value":"discrete","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364684$997B0290-EFD5-4A80-B9EA-C969E4A8CDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9543d191890c3fc35c2b31a437a879636e45869b","datavalue":{"value":"event structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364684$657A6BC0-2B3E-475A-B41C-CB8D14580102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364684$33A17949-97D7-4D63-A406-7551548F98A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364684$7E77D879-86EA-41C2-AF62-37C43B9C0C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2364684$334EDA90-00E3-4AF6-BE50-D9B2FC939B1D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$A6BF433C-ED5C-45B5-8DD1-4889B75C90D1","rank":"normal"},{"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":"Q2364684$B22E9CDB-94AD-43FE-97F4-382BA171CCFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"650e761a5f418c574655712b35b1fe882f756011","datavalue":{"value":{"entity-type":"item","numeric-id":19297,"id":"Q19297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$13CEB6B7-368F-4B5D-AF58-F3075DA9A83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$B3E88BCC-141D-45AF-9A6F-E7959D5984E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d240ff7e867c5bb76d4187c835e1f4943ad921eb","datavalue":{"value":{"entity-type":"item","numeric-id":40250,"id":"Q40250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$7128AE37-5466-4C71-9D6E-7B79BFD4F40D","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":"Q2364684$20948512-E018-4CE8-8457-0BF7A74048B5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"971d4d6c7c08503f0b4abd301d9ca2a698b3631e","datavalue":{"value":"W2620363064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2364684$EE4054AE-8151-42D6-A0E1-AF6CC3B3E03C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b37db1f75b1fe2bd91d3915bec89ade0194420","datavalue":{"value":{"entity-type":"item","numeric-id":5659571,"id":"Q5659571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$649E8E01-7C64-40B8-A973-617C90435B65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5054f549f8c6138410f8cc65636f04a7e76156c8","datavalue":{"value":{"entity-type":"item","numeric-id":1314399,"id":"Q1314399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$E0B735D1-D346-40F6-8BD5-65A3D391DF96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0e051051fa070cde956cc7f9cb99dc8b2093c7","datavalue":{"value":{"entity-type":"item","numeric-id":1854468,"id":"Q1854468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$13B43A72-665E-45EB-B7AC-6ABD6BE0B934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cdce090a694d0b94d58755c21b03066c4a1af5a","datavalue":{"value":{"entity-type":"item","numeric-id":3623934,"id":"Q3623934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$3E35F0A6-0790-4F27-A5FC-7E83A9166860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0402b8322115467c04832060b119cfdfe71fab02","datavalue":{"value":{"entity-type":"item","numeric-id":5756598,"id":"Q5756598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$60F2FF5F-32C0-41F2-B6A9-A5ADFBB90C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd54b277026d3afc5fd656f3034bc2054540b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":3582705,"id":"Q3582705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$0216BF94-5B47-4400-B7C8-6E18BA3F1857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9234328a69f9ebb5f026d917c2f2cbdb88d33e1","datavalue":{"value":{"entity-type":"item","numeric-id":5200104,"id":"Q5200104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$FFEA9686-B28D-4F89-A8BA-226F8FC0FA34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c98fbbc1dbc1e569161486c19d93d344ebc508d6","datavalue":{"value":{"entity-type":"item","numeric-id":3100172,"id":"Q3100172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$E711EE5B-385D-4596-B5D1-665D3D351696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dde78a908c61e3ace4fd73996142414f3ba5aa9","datavalue":{"value":{"entity-type":"item","numeric-id":4055647,"id":"Q4055647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$6B12E88A-AFF4-46E8-9C1F-C4DCA82692B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1887ecc00a11b9bb8173940cb3b7e85286faf2b","datavalue":{"value":{"entity-type":"item","numeric-id":3183537,"id":"Q3183537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$0853C79D-3784-4E73-BADC-A23A6D33229A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e8313ccf38763bc51ec81d32784b419450a3ada","datavalue":{"value":{"entity-type":"item","numeric-id":3024011,"id":"Q3024011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$5F30F9B4-14AA-4FE3-89EC-B575E01667ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86948ae383981e54b1af98cd1b8691bd9899e11b","datavalue":{"value":{"entity-type":"item","numeric-id":2859380,"id":"Q2859380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$0E555285-D796-494C-AD12-FA5569A051C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f3edd947d2c65d0ba31e14668f59d8faad9d13e","datavalue":{"value":{"entity-type":"item","numeric-id":1405026,"id":"Q1405026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$65166825-9793-4E77-BDC5-40C90897F56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56be7697af4dffc8e38aaf2912a4f00e2fd65e22","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2364684$2869A317-49A3-456B-A3D6-42E834C6C53C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e5cdfc07e7e1c647a6c9d9dfec774f63237db68","datavalue":{"value":{"entity-type":"item","numeric-id":3030239,"id":"Q3030239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b632c6e8a5c2775b3e01970996f3fb49e4f6b529","datavalue":{"value":{"amount":"+0.7091792225837708","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":"Q2364684$004615CE-4C2E-4328-B431-940DC9B8823F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee4566b9357048ad72d77199d46ffb08c7bdddf","datavalue":{"value":{"entity-type":"item","numeric-id":1124367,"id":"Q1124367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d2f16711a412f0aa549cc65a17a66f85ef37aa85","datavalue":{"value":{"amount":"+0.7056242823600769","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":"Q2364684$070AA378-D46C-4E0F-8860-2C741ACD03C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a797dab000707c3c4ceb4fe16e87e4bba9cfbbd8","datavalue":{"value":{"entity-type":"item","numeric-id":4270080,"id":"Q4270080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b74d142d170c37f11e36fc85e21d891151b0b734","datavalue":{"value":{"amount":"+0.7014371752738953","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":"Q2364684$616BE838-5397-4F8E-8E33-A9813AEC2852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fa937c42516651c994ca6964878225f6f975d32","datavalue":{"value":{"entity-type":"item","numeric-id":4733435,"id":"Q4733435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25a333da59724ad9b47f8849165858183e701c09","datavalue":{"value":{"amount":"+0.6799150109291077","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":"Q2364684$6CD36D93-BFAF-421B-806B-13DDD83D9D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eb3a5a01556a8a76893d1a4c98485b479d41810","datavalue":{"value":{"entity-type":"item","numeric-id":3569092,"id":"Q3569092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4adb7815b6c749449eab3422daafb268006f218c","datavalue":{"value":{"amount":"+0.6718940734863281","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":"Q2364684$81FDC8A6-D54E-49F3-933A-9574AB127F0C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2364684","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2364684"}}}}}