{"entities":{"Q2541847":{"pageid":2552590,"ns":120,"title":"Item:Q2541847","lastrevid":44311827,"modified":"2025-11-21T21:54:42Z","type":"item","id":"Q2541847","labels":{"en":{"language":"en","value":"The correctness of nondeterministic programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3323548"}},"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":"Q2541847$B0529185-88AE-4756-ADA6-B05C0E585A20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2adfe55775d371f9793254145b138e0dbb01b5eb","datavalue":{"value":{"text":"The correctness of nondeterministic programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2541847$87F184C2-E0D9-4861-921B-9466C6ED06A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6aac678f4cc752c8637211a54379b8fa62662e82","datavalue":{"value":"0203.49402","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2541847$5A1F2BBC-945A-4E28-AF37-5746E9BEFC3B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7e745bc92a0520aa5a2a4493ad263d7d699f141","datavalue":{"value":"10.1016/0004-3702(70)90002-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2541847$35D48879-A0F5-4C38-91F8-30306A2301E3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2541847$B7C48F1A-F54F-4134-93A0-D4137F18559F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2541847$C4480F12-9E30-4DB4-B305-F411E9FAAD8C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e293d9e9c8dba13b0feb4b9b16887fc748f70c6f","datavalue":{"value":{"time":"+1970-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":"Q2541847$007E1F1A-404B-4501-92FA-55D995106565","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6a7624f304abcb2bdbe0ad6f013e9673c487bff","datavalue":{"value":"3323548","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2541847$A05EE171-1163-417C-AA8B-89260D8998A2","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":"Q2541847$6382300A-5146-4C32-BDAF-34005D507AEC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9146fc576548b0b03cfed5ad34a24bf7d3e685f5","datavalue":{"value":"https://doi.org/10.1016/0004-3702(70)90002-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q2541847$33536A35-2660-472D-A6BC-9C559EA02AEA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6c56ea4d0cd5e05472128a8585b54af3b4daf720","datavalue":{"value":"W2053465392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2541847$53F05BB8-C011-4345-8C30-3F2C4D0744C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b5e466b1c925a5865453f6a7c6c7fb3f401401","datavalue":{"value":{"entity-type":"item","numeric-id":5606281,"id":"Q5606281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2541847$A153DBF4-49CF-443C-A08A-CFD87BF89DE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87fd769ca74e6515210b2bdaf27da39480713485","datavalue":{"value":{"entity-type":"item","numeric-id":2541849,"id":"Q2541849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2541847$3C28D699-4BA7-4CC1-81E9-7A20052D8216","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d8f82c493ecf71b1895a2fbc262dc6af404064","datavalue":{"value":{"entity-type":"item","numeric-id":5532796,"id":"Q5532796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2541847$FA2E7A51-C407-41D6-9501-00A135BE2F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24956801039fd919454009aea6cf74b8bb853758","datavalue":{"value":{"entity-type":"item","numeric-id":5626273,"id":"Q5626273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2541847$0E15AA44-7ABA-4104-B940-0F0D21007B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9466291634e83e12236234b9e2fd487969707b6","datavalue":{"value":{"entity-type":"item","numeric-id":2545842,"id":"Q2545842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2541847$2DFC4B99-7ED8-45A5-80A9-D9B520020883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d757337ffedae92eb93a7e661f0165981f6f5edd","datavalue":{"value":{"entity-type":"item","numeric-id":3844647,"id":"Q3844647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2541847$89C004CF-3A12-4741-943E-35440A6E6BAD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2541847","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2541847"}}}}}