{"entities":{"Q3940830":{"pageid":5970735,"ns":120,"title":"Item:Q3940830","lastrevid":55048411,"modified":"2026-02-03T04:15:03Z","type":"item","id":"Q3940830","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3757688"}},"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":"Q3940830$49B5218B-75ED-4842-92B7-D96DE60848BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f84fdcc17b03d54313b98085a74238510cb024fc","datavalue":{"value":"0482.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3940830$C51F5B59-D6A1-41A1-86D1-D753FFCE4516","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f6784f6308f0bcb9daad4210076668589ccab7","datavalue":{"value":{"entity-type":"item","numeric-id":1166925,"id":"Q1166925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3940830$924C38B8-6352-4CCA-9457-59B9A9CE8943","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c39075cf9ddfdc42864bc16125ea42ce8dd41ba","datavalue":{"value":{"entity-type":"item","numeric-id":243976,"id":"Q243976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3940830$C0306D9A-BF7C-4DF9-84E9-C457927FD97B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3940830$2E28E269-B7CB-4459-8B37-CC84E1CFE615","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3940830$E632391B-872F-4C7C-8E68-1932161F1FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3940830$9F163EB7-4BC0-4B6C-BA02-BA1C10D86B92","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ef0007174b9c7e91b61ac8fa1656e9a0f7448bd","datavalue":{"value":"3757688","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3940830$D860DCB7-8B58-48E3-83C3-D347AF880B26","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f5cd91049aafbb7429741190c883a73bd6e5dee","datavalue":{"value":"validation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3940830$641E3C68-C1A3-4831-9F51-9F4552BBDE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c253280367e5852d8c4715b30d32c3da1322bd6f","datavalue":{"value":"communicating sequential processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3940830$B1E38228-EE3C-407B-A041-B9239FEED1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d3f8c216fbb832ec84215372eb0f652641ec728","datavalue":{"value":"algorithmic description","type":"string"},"datatype":"string"},"type":"statement","id":"Q3940830$22299282-E857-4782-95C8-431213A8CFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3940830$C5289854-72F6-4BD9-91D6-8822061A993A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc2e4a72885fbf5d1eca13ee37c96c4a345317de","datavalue":{"value":"fixed points of monotonic predicate transformers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3940830$C0F52C7F-BF42-4DB0-97EB-AA19BDAAC677","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0289fc02543aa6db47fdef045967a7ba682fbd62","datavalue":{"value":"interpreted Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q3940830$998F3409-105F-445D-B04D-3E2926D14A44","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3940830$895A36A0-4D33-4317-81BF-624039A06F0E","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":"Q3940830$CD71D94E-8C3B-4BF3-8AF2-34C7178EDBB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3940830","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3940830"}}}}}