{"entities":{"Q4066568":{"pageid":6096201,"ns":120,"title":"Item:Q4066568","lastrevid":55323733,"modified":"2026-02-06T02:58:52Z","type":"item","id":"Q4066568","labels":{"en":{"language":"en","value":"Guarded commands, nondeterminacy and formal derivation of programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3483541"}},"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":"Q4066568$D8BBDD5C-FD01-4183-ADBD-A8B690F6793A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f727fd834ad54d5c9f9bca146afdfe779a3972bc","datavalue":{"value":{"text":"Guarded commands, nondeterminacy and formal derivation of programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4066568$EE64C45C-2A6F-425C-B906-EB68547E5458","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cafd828fdeeba1b23186148a460f740ffa6ccd56","datavalue":{"value":"0308.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4066568$E38908D2-C3A8-48D0-B433-9294EDEF70A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa4bafe927196776b64c80b18c1ac7dabd54b812","datavalue":{"value":"10.1145/360933.360975","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4066568$EFC1E24D-740B-4759-95FB-B70626AB496B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b5e8f5a4bedcdf1368f667e537d4925490c864ae","datavalue":{"value":{"time":"+1975-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":"Q4066568$93880049-2126-435B-899E-ABB559BDCA3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4066568$2F65AD1C-BF45-41FA-8AB3-3B186F27E019","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"efff007ce1868722a12a32bc4c824d985b267705","datavalue":{"value":"3483541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4066568$34F45A8A-C491-488F-835A-5CF6F6A2FB48","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":"Q4066568$D6632F8D-8A21-4F78-9932-5E9331CE3E28","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08bf0a99670611f0b5c204114347d67ad15ec733","datavalue":{"value":"https://doi.org/10.1145/360933.360975","type":"string"},"datatype":"url"},"type":"statement","id":"Q4066568$B97E271B-4B9E-4298-87ED-496787C5D1AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77e3277548eccf7cf8824175e5aa44e282820b6e","datavalue":{"value":"W2066210260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4066568$D05DB83C-E123-44DA-B39D-0BB1CAD95297","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"4e8213263cde7dd0451fc3717dfda7087d119f30","datavalue":{"value":"Q55878911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4066568$B1C3D63D-4499-4799-9C79-1DBE7205D5C1","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"2e55f9185b486d4a197921bef6bf437dbff880c6","datavalue":{"value":"journals/cacm/Dijkstra75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4066568$0187681C-059E-461D-9206-11844324EFD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f45a908dae7b276a058142218ca9cfb2d00bca08","datavalue":{"value":{"entity-type":"item","numeric-id":6481523,"id":"Q6481523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4066568$18A871EA-D168-4014-81C5-B2BA1687166A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"087426e75e65ba42be09a15851f31de13b7aa5f3","datavalue":{"value":{"entity-type":"item","numeric-id":56730,"id":"Q56730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4066568$3039AFC2-620A-4903-A6E6-DE2C18D17D7A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4066568","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4066568"}}}}}