{"entities":{"Q3922131":{"pageid":5952036,"ns":120,"title":"Item:Q3922131","lastrevid":87810515,"modified":"2026-06-04T12:53:47Z","type":"item","id":"Q3922131","labels":{"en":{"language":"en","value":"Assignment and Procedure Call Proof Rules"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3735095"}},"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":"Q3922131$31A93F2B-8459-484F-A141-22BE78EDC0A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fa0c6350ea79ec10041deb0be656271d068b7a4","datavalue":{"value":{"text":"Assignment and Procedure Call Proof Rules","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3922131$C1B0A315-A0AF-4835-A0C3-A208FCD0B807","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d860c88e3a06fdeae0be3549a9ede8986355803","datavalue":{"value":"0468.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922131$562EA642-9155-41A4-98CC-59DF17B4DE69","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea0a3ba914cc3963c5790c443725c344ced807b9","datavalue":{"value":"10.1145/357114.357119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922131$4DDE42A8-0AAF-421C-A62C-3BFC04D5BD99","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"87201105ab9aadf571db6479712327a7fc2e406d","datavalue":{"value":{"entity-type":"item","numeric-id":287253,"id":"Q287253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922131$8AC3857D-DAEA-42B7-BB5C-39CBBD9ACD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"42e2dd991b98b447a80c27f086668841e94bd61c","datavalue":{"value":{"entity-type":"item","numeric-id":1148671,"id":"Q1148671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922131$C35A7191-F046-4F48-8548-3DD671D9C4C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3922131$4E4CC0E1-B820-42D3-AB57-9449DACB5ADD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3922131$40206C6E-DC37-4EE5-836D-9A0D409CD68D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922131$58CA58C9-8547-4001-B7D6-CB5346C7332E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922131$DDD22938-6DE6-4193-841B-77AF01011587","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87e77317d3b3a1e4395089443c11350b8ae6e62f","datavalue":{"value":"3735095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922131$763B4701-1A5C-43B7-90EB-308B8B8137D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922131$23ACC1E3-5E45-42C8-9671-9F1FF3346FF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c078ac6b4aa6494d6d5c36981e624a189730ba5a","datavalue":{"value":"axiomatic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922131$D849A625-A024-412B-979A-7C52A3D9094D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53254b52784df7b3aa27f6e0ca1fa2185e509a15","datavalue":{"value":"multiple assignment","type":"string"},"datatype":"string"},"type":"statement","id":"Q3922131$7282345D-EC27-4A2A-9B9F-9C2E957BA314","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":"Q3922131$2F824FA0-FE86-491A-A67F-4E72926EC311","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e8955ea199a0fe736c5c5c4a3536a52020368c1a","datavalue":{"value":"https://doi.org/10.1145/357114.357119","type":"string"},"datatype":"url"},"type":"statement","id":"Q3922131$7BA47979-A6B0-4B6D-B885-1472B12D6536","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7585b063a98658b81e23ab4ae2c8e74e7d7bbf50","datavalue":{"value":"W2084291524","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3922131$490477A1-AABD-48A5-871D-74F840FA1F7B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Assignment and Procedure Call Proof Rules","badges":[]}}}}}