{"entities":{"Q1688748":{"pageid":1699489,"ns":120,"title":"Item:Q1688748","lastrevid":72019698,"modified":"2026-04-14T02:07:58Z","type":"item","id":"Q1688748","labels":{"en":{"language":"en","value":"Simple-named complex-valued nominative data -- definition and basic operations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6824776"}},"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":"Q1688748$0E03D211-5511-4C84-86DF-96094DD07E98","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01a20b4700cc19629067077a92ea3aa3b033b143","datavalue":{"value":{"text":"Simple-named complex-valued nominative data -- definition and basic operations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1688748$709FD1DE-15C8-4B00-9ADF-3D7F764E496E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1181938603a2b18c8d673b7cf8ded3871aa1e4b9","datavalue":{"value":"1401.68200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688748$4DE5C0C8-1837-4779-BFB2-AC764BDCF166","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e5a0a219ac98a153cde5448dff95be1f29ecc27","datavalue":{"value":{"entity-type":"item","numeric-id":271898,"id":"Q271898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$40B59D5A-48C5-45D6-B667-3E59DC41BD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5736b10882fcd248ee7728f1c7c88885067ebad5","datavalue":{"value":{"entity-type":"item","numeric-id":271899,"id":"Q271899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$FEC69C54-2D6C-4F6B-B7F2-A1D950EC2960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e0fd13fc799f9f3776c6d9add4cb3fa5f4429d","datavalue":{"value":{"entity-type":"item","numeric-id":1688747,"id":"Q1688747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$CA106409-388D-4C54-86E6-B27984AA8A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"640c4be06d582c72de984ba8f70a853b3b8bd56b","datavalue":{"value":{"entity-type":"item","numeric-id":271902,"id":"Q271902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$7ABEA604-EFB9-4447-ABCF-5C6373260359","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c3dca13c7f771f7d8dd6a8eb7199e738ac50173a","datavalue":{"value":{"entity-type":"item","numeric-id":271889,"id":"Q271889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$165554A0-B4DB-4384-A190-1996314B56E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"256848ce0dfd32b0c1f66d8f44fb1041feec461a","datavalue":{"value":{"time":"+2018-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1688748$0BBD8DA2-57F1-48F9-BE93-5A2A13AAE6F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688748$73B80DAE-671F-4722-B651-E7A2B923B6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688748$B3AF9D1D-EB27-486C-8C27-FA8BCE4B05FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688748$04C02426-381B-46BC-8632-706E00DAF9B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688748$AFDC6BD9-480A-4DB2-AAEA-AB124A6D6678","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b21e57d9e6d776eec87045d6be531483a91fb61","datavalue":{"value":"6824776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688748$3813FF0C-6F21-4F2B-83E0-5481C9517B3E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688748$0475F18B-552C-4D2C-9826-4E8C1FD415AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688748$B5C674BE-DAC8-490F-85E8-ECFDF6A9021A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc330330af81c651fedbd47b883734cbc393641e","datavalue":{"value":"nominative data","type":"string"},"datatype":"string"},"type":"statement","id":"Q1688748$900D66CE-17E3-404F-BBE1-5A312248859A","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":"Q1688748$9B7C41A3-69B8-4846-B8C8-6089599F25F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c884cfea79bec1c61ccd3552ebc3078250161200","datavalue":{"value":"https://doi.org/10.1515/forma-2017-0020","type":"string"},"datatype":"url"},"type":"statement","id":"Q1688748$E117B2CB-3047-4187-BC7A-5466C56D4B76","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd5a5e1ee082b29027f9bfcaad5e71d3024b3db5","datavalue":{"value":"W2780629006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688748$4E46A6F8-B467-4B69-B855-54808120EA33","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$1878E45D-B74A-4F87-B685-C4C32AE3AC8E","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":"Q1688748$711C5E53-5BE3-4E4F-ABD1-443D71051A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9794ed8d10de471ca023fd0095352cb1dd35398","datavalue":{"value":{"entity-type":"item","numeric-id":5410638,"id":"Q5410638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$1DD126C9-A006-4B6C-A129-3B7310C27A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00c6f79a3f4818f0f80eae7547b54d6f312bbd7b","datavalue":{"value":{"entity-type":"item","numeric-id":5739458,"id":"Q5739458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$E2B34A4A-46BC-4281-BAB1-0D04D3B85B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f00cbabe5d3f564c33159fa0272b9d60f98ac164","datavalue":{"value":{"entity-type":"item","numeric-id":271900,"id":"Q271900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$C8A97A63-1D73-4C58-9347-07E6A5D26CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"129b34a25e9b7fb67fdfe3e59012717c8e20f4a6","datavalue":{"value":{"entity-type":"item","numeric-id":1650373,"id":"Q1650373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$11501090-D572-48BD-AE1A-3027F26653AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50098f7373776d4560222ecc8a748602d90caa1a","datavalue":{"value":{"entity-type":"item","numeric-id":1688748,"id":"Q1688748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$437D4228-8565-4F8C-9BD0-F6044958AF6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3516cdb1bb0a5509d64f4b1024b6b5a7a0b4e6c","datavalue":{"value":{"entity-type":"item","numeric-id":2654968,"id":"Q2654968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$8C6FD7F9-30B5-4F92-9F8F-27AF4772ACC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce586abd9c5071650d34a69e8ada0a71ad839f4d","datavalue":{"value":{"entity-type":"item","numeric-id":4475108,"id":"Q4475108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$3DF37902-AC89-4D40-83A5-C97279C0ACB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"117417c2308297022263a5c00d40f19549b2d12d","datavalue":{"value":{"entity-type":"item","numeric-id":2865734,"id":"Q2865734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$60711875-2E7E-4A1E-A28D-1F2642E5ADD7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3145846e4d918216a0ad854e5f0e224861c46fe","datavalue":{"value":"10.1515/FORMA-2017-0020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688748$B77B518F-BDF8-445D-A29A-58E249065E70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2e3527c8ff826c8ac797daef0d80602c1118862","datavalue":{"value":{"entity-type":"item","numeric-id":2311522,"id":"Q2311522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8215e15ba6a144bcefc34ad5c3b8f90ae3d64116","datavalue":{"value":{"amount":"+0.8302243","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":"Q1688748$EE03032C-6C09-4ACE-A4DE-1D629D048D61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c965fa3d1e9d25d8f100d7f43adc3c2831a4185","datavalue":{"value":{"entity-type":"item","numeric-id":2850239,"id":"Q2850239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31d1833801d95ebf65a295e334b50d23b87fefc5","datavalue":{"value":{"amount":"+0.7735397","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":"Q1688748$AA4DF7DC-0AB4-4197-91D6-BC8CE3427DB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32653458c62c033116387d12b0b00d01b5b9b6f","datavalue":{"value":{"entity-type":"item","numeric-id":2897501,"id":"Q2897501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1c0eeab650a9fb2cca9fcff51cb183e300d0c68","datavalue":{"value":{"amount":"+0.7656706","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":"Q1688748$12B3EDCA-080F-4CF1-BD6D-86FC0B7D20D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e7baec2c18e8d0f3cf6cf5321ff1b947717ede","datavalue":{"value":{"entity-type":"item","numeric-id":3091172,"id":"Q3091172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2648194ab7aa32a229317c8183534a65163d2d9b","datavalue":{"value":{"amount":"+0.7628615","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":"Q1688748$654B4833-6839-41DA-BE53-EBD1672DAD1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42bc41e4c218e3ea24d6175204e209f3f4dc39db","datavalue":{"value":{"entity-type":"item","numeric-id":4899545,"id":"Q4899545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"189bd1deb4b80b5379df5b9b2cbdaa21e9710a2b","datavalue":{"value":{"amount":"+0.7582629","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":"Q1688748$5A049318-95B3-47BB-9C6E-6F5D86215CE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0985b7bae7f1a290c04fba7e9fd1d6de4c8af96","datavalue":{"value":{"entity-type":"item","numeric-id":1898461,"id":"Q1898461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f63120157405f03a2c6d9a90feb90fb6b38852dd","datavalue":{"value":{"amount":"+0.7522384","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":"Q1688748$E4975EDA-A417-4F11-9600-F3D1DE512050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c692926d3eb7c442fb8f7fe2594fa2719965cc03","datavalue":{"value":{"entity-type":"item","numeric-id":2349820,"id":"Q2349820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dab81f09614e09352f636020987f1d4fccb8f7bd","datavalue":{"value":{"amount":"+0.7496611","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":"Q1688748$192FEA0C-9B46-4A13-BCCB-2C89F6C9D3D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"086b08b4647f3e760ab9be2beb3a69c136588bb7","datavalue":{"value":{"entity-type":"item","numeric-id":4437823,"id":"Q4437823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f4b18a873a1304c7c23fc79d0d93b53738486c9","datavalue":{"value":{"amount":"+0.7435308","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":"Q1688748$40F10008-EBC7-433F-B931-414B437D6F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9cdf89000b142dfecf282eec75e95349f131f34","datavalue":{"value":{"entity-type":"item","numeric-id":2942888,"id":"Q2942888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abb79520540ff5752867b585188218d6dfac53b","datavalue":{"value":{"amount":"+0.7361818","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":"Q1688748$24A8E4B9-1A11-47B3-8942-8A52627BE0A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d223fada39e5bcd7f684ec462eddbc9e1fb40c0","datavalue":{"value":{"entity-type":"item","numeric-id":5751051,"id":"Q5751051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37f66bc1560bfd62fb6a10af493cc4e91423f75b","datavalue":{"value":{"amount":"+0.7334081","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":"Q1688748$DF276F50-AD60-4995-B925-37868F3E6FE1","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"6e2260e47a2889770c9d5516a7c5ae827b188d2b","datavalue":{"value":{"entity-type":"item","numeric-id":6830563,"id":"Q6830563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688748$B521970A-5AC8-4B30-AD2A-BB0B913BEEE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simple-named complex-valued nominative data -- definition and basic operations","badges":[]}}}}}