{"entities":{"Q5044767":{"pageid":7074344,"ns":120,"title":"Item:Q5044767","lastrevid":54433796,"modified":"2026-01-26T19:44:51Z","type":"item","id":"Q5044767","labels":{"en":{"language":"en","value":"Model checking using net unfoldings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611292"}},"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":"Q5044767$1A49687E-2BEE-46F7-BA24-233F0D62289F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4f0a4e02362b93a7a561c68710dbc1278a7409cb","datavalue":{"value":{"text":"Model checking using net unfoldings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044767$6DAC2948-FB47-4F22-9BC0-AECD0A32F746","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e9a77f1fa107d6f027daf570084c3d8e7b455e5","datavalue":{"value":"1498.68157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044767$B3971F0D-9EA3-40C1-810C-80AC758BCC38","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"840e59f574271fab8ba01fc8798b6349aaa7621f","datavalue":{"value":"10.1007/3-540-56610-4_93","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044767$E18A6029-290F-496C-9C08-2B1385CB49E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044767$FEAAE573-FDC1-4FB5-944D-17775E86F713","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044767$F76C4733-2B01-4E28-B77D-D31F067036C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044767$23EE7613-1ED3-43DF-8695-A79A29AD87ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044767$ABD522A0-4BEE-4A9C-9E3A-D49B2A5FDB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044767$E824888F-CD8A-4F67-B845-5925437C57FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044767$D915A23A-2C0C-4BD6-8A1E-ACF7C4C2E3D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43d738de8efc6c4e93f9ddbe3bedc6625721ea1d","datavalue":{"value":"7611292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044767$E5C25FEB-919B-4F33-A23B-23DC31A71647","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":"Q5044767$79DACADA-40CD-40DD-8C28-C58BDAEB1B72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f9a3492cd7115bbd62bd92089d968d973dffdae","datavalue":{"value":"https://doi.org/10.1007/3-540-56610-4_93","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044767$CBBF8E48-84BF-439B-87D4-C71474FF8239","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83834c81613341bc9f6851f80ee67aacfc4eac8d","datavalue":{"value":"W1834539615","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044767$F67E849D-C7B2-439B-B605-38E093D8CCF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b353fe04f4a12413ddd49e2456639e1e2404932e","datavalue":{"value":{"entity-type":"item","numeric-id":4202931,"id":"Q4202931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044767$BD9C4841-0B7B-4543-B4A4-A6DDDA6705F9","rank":"normal"},{"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":"Q5044767$FCEBE5AB-ADB9-4F94-BD12-3B37D0916519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd92129a26dbf41cdf266b4912c7209843a4f651","datavalue":{"value":{"entity-type":"item","numeric-id":1175711,"id":"Q1175711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044767$E5E6E23C-6EF3-4E51-989B-F63A7DF53F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093c1df9af867c1518fe9a929bd5c3fce291b15c","datavalue":{"value":{"entity-type":"item","numeric-id":3823147,"id":"Q3823147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044767$9B80EDAB-683B-4BA5-984F-1B2AF8DF133F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044767$F1C8BA33-E144-4CE1-B45F-4407FD90F432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"270a066a6aceb1912b7c375b7b589a7b3cd15951","datavalue":{"value":{"entity-type":"item","numeric-id":1148680,"id":"Q1148680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044767$F821D063-4F89-4D30-A2A4-0F77208CBB66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d90481c9250642e7bd4d6e15f6a0ca50b28a4244","datavalue":{"value":{"entity-type":"item","numeric-id":3823149,"id":"Q3823149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044767$D98F89D8-6E58-486F-AFDC-BD91E2DBBB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f48cb9c1f38a5a270f923c7a57da848a79d423c4","datavalue":{"value":{"entity-type":"item","numeric-id":809611,"id":"Q809611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044767$71E2DDDA-EC06-498E-984A-CA31AF1905DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b75c30d82a8bad8b56a430f039c479cc778d199","datavalue":{"value":{"entity-type":"item","numeric-id":1346682,"id":"Q1346682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a231ad89c204d330ea57305323b991bf5de0203","datavalue":{"value":{"amount":"+0.969772219657898","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":"Q5044767$E7623FFF-5438-40F5-A31C-2C99CD39AD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76a5b4abb1327b986fabcd62c5cf3ae178d6cdb1","datavalue":{"value":{"entity-type":"item","numeric-id":4531752,"id":"Q4531752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a231ad89c204d330ea57305323b991bf5de0203","datavalue":{"value":{"amount":"+0.969772219657898","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":"Q5044767$A1F91FDF-7A19-4B8D-9451-EC0836F49420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab74b742c88f15412ed53a138c37dce0e907fb2","datavalue":{"value":{"entity-type":"item","numeric-id":4536617,"id":"Q4536617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1311dea738965d3af49354a71897192cf12373b","datavalue":{"value":{"amount":"+0.8222436308860779","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":"Q5044767$90E785CB-9BAE-4960-942D-2941F3B1E87E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4602e89f02bdbb21ca9314b5250489670139c048","datavalue":{"value":{"entity-type":"item","numeric-id":4791845,"id":"Q4791845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1311dea738965d3af49354a71897192cf12373b","datavalue":{"value":{"amount":"+0.8222436308860779","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":"Q5044767$D01F7FCF-4379-4202-BC0C-7125D8B1A819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66fcb8f17e78da1ac15821817d47e995ca120f0","datavalue":{"value":{"entity-type":"item","numeric-id":1346650,"id":"Q1346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2022bf155a196fec0d7ac7decd5c1220f832b11","datavalue":{"value":{"amount":"+0.8042929768562317","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":"Q5044767$299B9C96-879E-4C5D-BDE6-A5A81F870B1C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044767","badges":[]}}}}}