{"entities":{"Q6567703":{"pageid":14178858,"ns":120,"title":"Item:Q6567703","lastrevid":55703335,"modified":"2026-02-17T21:20:05Z","type":"item","id":"Q6567703","labels":{"en":{"language":"en","value":"Inference rules for programming languages with side effects in expressions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7876652"}},"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":"Q6567703$972AA853-6D92-4784-9252-6E4A16CBA521","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c5463d8d2f0f3941fc98a99bf2a3f518e0ccfd8","datavalue":{"value":{"text":"Inference rules for programming languages with side effects in expressions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6567703$EA1A1430-D727-4AA9-A0BD-EFD58A8FB234","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e94ee45be02cd129c4fc76ed820b5653cac1bce","datavalue":{"value":"1543.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567703$DD9BED05-5767-4D5D-B299-CD1772B54121","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aaf31ab8f26f9730c60374195cafc420ef8391aa","datavalue":{"value":{"entity-type":"item","numeric-id":3024858,"id":"Q3024858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567703$FB8B72C6-9F5A-4EFC-8FB0-E7007452DB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a39856bda047c094ad82acd344639fce07808e6","datavalue":{"value":{"entity-type":"item","numeric-id":3024859,"id":"Q3024859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567703$2690FE32-EEEF-49B0-91A3-652A9798C81D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df053448a65992a80a8bb9dc3531ec74f75059c3","datavalue":{"value":{"time":"+2024-07-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6567703$336DF9DE-4084-47C6-99E2-11BC02E76EE3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567703$7EB1653F-5C41-4A6D-8FCB-5F9A8BCFD2F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567703$42D9438B-433C-4ADD-A387-1E70E5E8CA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567703$59576F5B-3F4B-4781-B025-F8CD2FE192D0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b9c2f921168b4ae66ab789862b81c14b2d1773a2","datavalue":{"value":"7876652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567703$26BACFA5-73DF-4D59-9B34-1DEB95AD59E2","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":"Q6567703$30F3B5F7-6B11-4D69-8467-88C4A1773F17","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"75eab97eeb914cecb7ce56c9756f3b86c8afff9a","datavalue":{"value":{"entity-type":"item","numeric-id":3024860,"id":"Q3024860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567703$AEA6D49E-8FBA-475E-A5EB-5E92BCEE84B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1865d954f361d48a20226de9b40ae8c78d9220db","datavalue":{"value":{"entity-type":"item","numeric-id":3024865,"id":"Q3024865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567703$816AEE20-84B6-4976-8BA9-E0026027FE55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27a1524e69f50a2385696a05b0517bee6d32e1d4","datavalue":{"value":{"entity-type":"item","numeric-id":4003356,"id":"Q4003356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567703$5FF0985E-9F7A-4FD1-B1D7-BB29D4EC7ACE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b7e8541b8bf7dc514993aa6ba095a6f824bbca","datavalue":{"value":{"entity-type":"item","numeric-id":3922131,"id":"Q3922131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567703$684E2021-C23F-4C57-811B-EBD43BE120E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567703$B8247950-B7A0-48AD-8EC2-3F281BF53E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaab40a3cdf9c1f848be185983c92b6d2bd583a9","datavalue":{"value":{"entity-type":"item","numeric-id":3024875,"id":"Q3024875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567703$18FA9272-CFC2-4718-B4FF-29BB3AF6CAB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9af7d2b571fca965bc2b8fa95a461def14830e96","datavalue":{"value":{"entity-type":"item","numeric-id":3024895,"id":"Q3024895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6567703$E961FC2E-9349-4BE6-A2F7-A36901223916","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7399767dc904510f7feeaf6952dacf28f5ce5823","datavalue":{"value":"10.1007/BFB0105396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6567703$C69A7A5C-0A08-451B-9FAC-D18904418144","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d02c91dd03d60dc96864ac43fde9a93abbaeaf9","datavalue":{"value":{"entity-type":"item","numeric-id":5753940,"id":"Q5753940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73c045cf9020194ad48c8f88936f67a268b92c59","datavalue":{"value":{"amount":"+0.6838580965995789","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6567703$448D4B1A-1B61-44EB-955C-E68AFB461ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf843841cb0df9d160e31d2390de843ee9c192be","datavalue":{"value":{"entity-type":"item","numeric-id":3067545,"id":"Q3067545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3272a60033c02d1298ca04ef512d72cf8e60a1","datavalue":{"value":{"amount":"+0.6824156641960144","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6567703$2DCEE3FE-823E-4D17-9498-4BB25F66776E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"678c0c38f6268df2cba63533bb44a641d219e574","datavalue":{"value":{"entity-type":"item","numeric-id":3197301,"id":"Q3197301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e414fcda7c565ccd797e78d03add3ba37164bc","datavalue":{"value":{"amount":"+0.6760475635528564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6567703$65AC0D18-EA72-496B-A8FA-C619367CD760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6008840b0c371e988085a0479b4dc3bf2208fb5","datavalue":{"value":{"entity-type":"item","numeric-id":3832038,"id":"Q3832038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09ff4f07b7515f5a9a014ef2400339aaa0ea0eb","datavalue":{"value":{"amount":"+0.6724877953529358","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6567703$71325C40-A797-490C-9332-D86FB100917F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796d9d1f6f94831578c765050e799ca397a5cd3a","datavalue":{"value":{"entity-type":"item","numeric-id":1403260,"id":"Q1403260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecaf362ccbe0f1727012e7c195df09fbc7409a36","datavalue":{"value":{"amount":"+0.6697062849998474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6567703$EB47B51B-A1ED-4825-9C04-CB3A48EF5BFD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6567703","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6567703"}}}}}