{"entities":{"Q4187288":{"pageid":6216889,"ns":120,"title":"Item:Q4187288","lastrevid":28588640,"modified":"2024-03-05T14:39:16Z","type":"item","id":"Q4187288","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3624763"}},"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":"Q4187288$DF652BC4-52F0-41B6-AE1D-B74CB7FD2C3A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10042aae15d9d002db640c3cc3aaeb7d74a06fd8","datavalue":{"value":"0402.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187288$E671EC43-E361-4EBA-ACD9-E6A1AC2400F9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q4187288$E09BCE35-3D0B-44B5-863A-F5298A82D9DA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187288$CA10A539-98DB-4803-A4F0-2C5A8640550A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187288$0436338D-5011-45A2-B27F-49F88F887C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187288$5F58C274-39D8-4A35-8EE3-83BB84C235C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187288$FF7134C8-4A62-4DC2-91F6-B2F0C80C85D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187288$2D4CF4A3-96EA-497C-A2BB-02139D452331","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"00d1ff6131db4b7e46ce36cfcfb1f868f797501e","datavalue":{"value":"3624763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4187288$2FA9BCCC-F1AC-4DD0-B6DD-E5166C2ED15E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef6dc1ebdbe66c1f7db229e1d324f8fb67353379","datavalue":{"value":"Modal Logic of Concurrent Nondeterministic Programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4187288$54D13E60-ACC9-4902-8861-37B8DC7257A3","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":"Q4187288$E82EF8B7-C136-4294-9B57-DF35B81B6996","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4187288","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4187288"}}}}}