{"entities":{"Q1104731":{"pageid":1115480,"ns":120,"title":"Item:Q1104731","lastrevid":42879523,"modified":"2025-07-15T16:09:27Z","type":"item","id":"Q1104731","labels":{"en":{"language":"en","value":"Verification of programs that destructively manipulated data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4056979"}},"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":"Q1104731$1481060B-5D13-4195-A614-AED4B122324F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2174783b516677bb99436c018c68c5956cfe8244","datavalue":{"value":{"text":"Verification of programs that destructively manipulated data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1104731$0B5AC8F4-F275-48EE-837C-6CA1226C50D1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"896376fdc7f51d040d906635ce58bb7e116f29eb","datavalue":{"value":"0647.68020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104731$0B6B3C3E-50A8-45F2-A000-B767B5D20215","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"88426944b8f623aac632de0c5e2aa07589404961","datavalue":{"value":"10.1016/0167-6423(88)90026-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104731$68F2F7C4-CD87-4168-BC17-5B16199B4789","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92b917b4b1f15c6d190a36e7f0ba33b1c478458","datavalue":{"value":{"entity-type":"item","numeric-id":688569,"id":"Q688569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104731$303E0AA5-1E33-4942-A768-FBD37D354DBC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1104731$354C2E84-A377-47FB-B3B5-AA6E4507C6B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q1104731$F2D579DE-E78D-4C36-B1F3-2070B5BA5D1F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104731$D7D81694-DCAE-43D4-9185-3F7421E6281A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104731$0A8A2774-98C2-4CD8-91B7-7C6B0E94F9C0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c025c717fe5359e633ff83ea363790c3525a8531","datavalue":{"value":"4056979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104731$96A80FC5-DBA7-4BD5-B58F-3EDDA1C290D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbbe5d31a178f6dac34afe451d66a52792ec4bcc","datavalue":{"value":"destructively manipulated data","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104731$86CB8C81-D5A9-45AD-B617-584090A1B3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0792127d44e77c8730ed73a5e574b965c204c871","datavalue":{"value":"first-order functional programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104731$84EC3F6B-4477-4563-B17F-6CB09E041E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104731$715FE9FB-3831-4B9D-A206-D1E813DE26CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6af8cb1eee93dfd9131aec298edf5b1c9e2403d1","datavalue":{"value":"memory structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104731$783A5A7C-0354-4EAC-8ACF-5FF7D41143EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"280c8f9b5cab95a2a15b895bdb10674b8006f46a","datavalue":{"value":"equivalence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104731$94B13315-38D7-4BC3-8021-0D0A853FDAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08909eb5c8c8a4cb7f2b02b0ca48aa6f4f6af37","datavalue":{"value":"extensional relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104731$E9379202-15C0-4B7B-9C3E-5F4256EC8BB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02f7fde041e7703aa6eec7d7db05ee2662fd1173","datavalue":{"value":"intensional relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104731$4D79DD06-1DF3-4C0D-AC02-506EC70C6C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eb38c4c3cf3ea173c2df182c8b2ed6daa5519e3","datavalue":{"value":"strong isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104731$0108DBCA-9B86-4A4E-8DFA-314AB0DC875D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ee4eb72a117031d4e721fdde764c852b0cafa2d","datavalue":{"value":"verification proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1104731$26AACF79-18FD-45A3-B721-06F8AD10F8E5","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":"Q1104731$6EF4AD8B-15B7-4249-BD92-48C6CBFD773F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"be00bf0bc2c274d6d082650fa93b85a35e9c94cb","datavalue":{"value":"https://doi.org/10.1016/0167-6423(88)90026-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1104731$9C810810-D3FC-422A-B474-BD1C3D7655A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fd8f85bfa9ed5bbbc65417688249aca0f5f88d4","datavalue":{"value":"W1987160431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1104731$49906F24-5609-4767-84EC-0C1D8B80E1EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fe603bd2816a7377c708a6d590b5e092b2b23d8","datavalue":{"value":{"entity-type":"item","numeric-id":2963953,"id":"Q2963953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1777ea846f9ed8a73fd76c9b9e932e2f3550c7cd","datavalue":{"value":{"amount":"+0.82754815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104731$2460E1F9-E11E-49EF-BB53-7054C3C75025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1931a8e12c8845b380958c0dd7d69fef4221baff","datavalue":{"value":{"entity-type":"item","numeric-id":4003356,"id":"Q4003356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"299e9edd32d900434fb0752b0ae545d353c50edf","datavalue":{"value":{"amount":"+0.8152938","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104731$17D9B36C-E42D-49E9-A908-E51F35F433EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee371577c67d4b614a19df5ffaabc82774f74045","datavalue":{"value":{"entity-type":"item","numeric-id":4004235,"id":"Q4004235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"551ddebde27ee007dbfcf9ea6088803f65ceb054","datavalue":{"value":{"amount":"+0.8095835","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104731$7FDE7ADD-3CBB-48E5-90D7-AE250CCB5708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562c92cb91f0b2ecd3f6b1b6b8e9d74cd40afb2a","datavalue":{"value":{"entity-type":"item","numeric-id":3012541,"id":"Q3012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bace70d9360c223e263ce519a00afc9b391519d9","datavalue":{"value":{"amount":"+0.8082166","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104731$E9829597-FFDE-4265-B109-BCC2A8B9FF38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e09259065d5cb483d84c7b012c63aa88171aaa2","datavalue":{"value":{"entity-type":"item","numeric-id":2147204,"id":"Q2147204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79dfdc6bc299d7409289c8f75eb5152629c434ef","datavalue":{"value":{"amount":"+0.8045647","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104731$0164F727-C21F-47B5-8082-BF49F70B8032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb7987dfc2696b7287a43eb059e2eb1f54037ce","datavalue":{"value":{"entity-type":"item","numeric-id":3149722,"id":"Q3149722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbfc1de74d6ddcab4d4d8ac4576db12ce1cea873","datavalue":{"value":{"amount":"+0.80036294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104731$FAC1209B-0EA6-4F0D-82EE-29C1952D27AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ccf8a694514b0676771a5c550e3d57d964ad47","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28e74206a45c08be13aed18e809a2ece08735486","datavalue":{"value":{"amount":"+0.7999247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1104731$04EF4AB1-65FF-4AA1-8E26-B1BE3A728E52","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1104731","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1104731"}}}}}