{"entities":{"Q5753940":{"pageid":7783491,"ns":120,"title":"Item:Q5753940","lastrevid":49468516,"modified":"2026-01-07T05:18:01Z","type":"item","id":"Q5753940","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4189708"}},"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":"Q5753940$C52F29FC-66CA-4584-9C41-456A182BDFD1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9186fd0c11df32a59f743244ba0bd3f6afad4a51","datavalue":{"value":"0722.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753940$0679EC29-814B-4B07-AE39-D3163220C0C9","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":"Q5753940$DEEA5CEF-F3EF-4D3B-A95C-839F920223E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5753940$89EB16AE-0045-437B-B204-5F0BCD020EEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q5753940$610BD7EE-1587-4403-91A1-ECCDAA16DFA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753940$82C7CC0B-5422-4AC3-83FA-6B490939EC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753940$9194807C-978C-4994-83F5-C9254842E978","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"787f3ee5ec923e2e04bc1c2368f6a1850f71b4eb","datavalue":{"value":"4189708","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5753940$B078FFF1-B1D9-4553-9180-8EEABE27C944","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753940$97BA6706-6298-44B2-9269-6DEB2014C0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1d316846177b52cbfc50495fb5e5584c467e568","datavalue":{"value":"deduction system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753940$F9B3067B-7786-4ACE-A15F-4F713001CE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753940$66D0B970-4449-4FCF-BB6B-2184FE996248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a06c4134067057d1dddae5f8f9aed3d7db734f4","datavalue":{"value":"programs with side effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753940$7266D23B-36F7-412C-A575-4866B7610F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f85a2265b6724b2a7f929ce33cef19824b5eabb6","datavalue":{"value":"first-order Lisp-like language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753940$1C29DB16-A197-4AAD-AAAB-5F47E2A7D90C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0080147cee3484606572fb8f3dfd5a56be34fc8","datavalue":{"value":"data operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753940$0245904F-B626-4A17-94DE-3A68C0EB3DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4088f2fdbde3ed9ca776697fe8d4aa2de8648718","datavalue":{"value":"control primitives","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753940$69CF711F-CABD-4DFA-B89F-3C5904CE22B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f982887689ff24269fa6d36fee1870a6f395dd38","datavalue":{"value":"recursive definition of functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753940$8706A4CE-F352-4989-A0C0-C84767D963AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753940$79670DD2-5C25-48F6-80AC-B3C201E9FFEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a68c98cef5c6e19b7919633d94f20b3cba6f8d5","datavalue":{"value":"memory models","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753940$58D66362-4774-4F78-B87D-7B7C33A7A9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"122ccc632af615cfee210f648c5e03f6a8870b1d","datavalue":{"value":"decision procedure for the semantic consequence relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5753940$CD82E571-8964-4A15-8B1B-80413245133A","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":"Q5753940$5725D7B7-8AE6-4719-A459-E941F049E5E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b9474dac8272522fadf593dbd710acf1c46bcaa","datavalue":{"value":{"entity-type":"item","numeric-id":3801053,"id":"Q3801053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d15f73efdecef8b13f4a4315d463af04a0b3d4b1","datavalue":{"value":{"amount":"+0.7652388215065002","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":"Q5753940$8E6E133F-3D9A-41C9-B32B-227C9C95AD15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcc48657b19aef66c8a195cd2ae4000e87b01072","datavalue":{"value":{"entity-type":"item","numeric-id":3694663,"id":"Q3694663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74534a4e74c4368a29e3edcb32b195c0dbdd2cf4","datavalue":{"value":{"amount":"+0.7545693516731262","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":"Q5753940$3B90A8FF-A0BC-46FA-8450-5020FC704928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"354456a851b64483ddc67949f233aa2e71936f82","datavalue":{"value":{"entity-type":"item","numeric-id":1196301,"id":"Q1196301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae9f9576bdf9902ce15454f5c827c1d6507ea7b","datavalue":{"value":{"amount":"+0.7309690117835999","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":"Q5753940$E9BDB8F5-7D3B-420B-8263-855C96248781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ead6049b4bde25a22c0d483b5cfc797a2576abb","datavalue":{"value":{"entity-type":"item","numeric-id":3992240,"id":"Q3992240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84469e5287c6179ba50b304b091b71f21379269c","datavalue":{"value":{"amount":"+0.7231858372688293","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":"Q5753940$DF2B197A-63B9-4A0F-8D3D-DF3ABE6C1620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ce34b6c7710227417a5b4f159837a7a7cccbb75","datavalue":{"value":{"entity-type":"item","numeric-id":4813228,"id":"Q4813228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4987b6629703ba166db86100233570aff424032","datavalue":{"value":{"amount":"+0.720862865447998","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":"Q5753940$D61230DA-2570-4160-9E3E-934C4B44BFC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5753940","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5753940"}}}}}