{"entities":{"Q3745248":{"pageid":5775154,"ns":120,"title":"Item:Q3745248","lastrevid":50980367,"modified":"2026-01-16T01:45:14Z","type":"item","id":"Q3745248","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3980455"}},"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":"Q3745248$0300430D-AF5D-47A8-8153-65A4C4A3A210","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbdb91e462482ce727e46e7cc9183587c6fa851c","datavalue":{"value":"0606.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745248$460FE00F-AD7E-4AB1-A133-5EC1F6E4AA89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3745248$5B2362B8-9298-4832-8DF2-06109ACDCA84","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3745248$75099476-BDF0-48CC-977B-BDD458B89B11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745248$7A84AEA0-1702-4008-84DE-1F5362FDC7C3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b86ad588cb0810fcaefbf01ffa53c89d4dcb49ff","datavalue":{"value":"3980455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3745248$03E9E4FB-9FBF-47ED-A78B-718E592CC5A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745248$BD6CDC44-D6E0-45CA-BE19-8C68264B4F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2b4e6eb73b5958980e371fa19dd5ed515db82af","datavalue":{"value":"institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745248$ED59AF84-5F85-458F-A742-D7695C3A7A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84d0d50189fb562686511908481462c9a90689c0","datavalue":{"value":"logical system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745248$34EE2BCE-9338-4E44-B051-06CD013929F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"294f0b6d3e9a51f7e10c95a8ae5ec9a76d247d87","datavalue":{"value":"generic modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745248$85F7055D-0280-4F8B-BCF7-6CD2EA54C823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b68f980a0a2c245c44bb74964328f0b470cc0f39","datavalue":{"value":"module hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745248$955689F6-457D-4B88-A247-3FEB0A6070A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e00becea862aed6aa9ab04304a96b21116cbce9","datavalue":{"value":"data constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745248$8C5AB169-F459-4B2C-BF83-B080BCA0FC26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"688a26299f916ddb83a697cb7e682acad217d18c","datavalue":{"value":"multiplex institutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745248$C1147DD4-2B7F-4942-B761-3DFB2CB1E861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745248$0AFCD69F-6DDE-4CE8-A0B9-EC44B7D9CBF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df23db21db38fd5aeb6e7db430cd5b155156abd5","datavalue":{"value":"logical programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745248$58ECDE0B-8988-47DC-AC2E-A8599AFCE6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745248$7F2CFB72-553C-4A88-BF53-AC54E04A780C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302a42c8a61d3660ede2f3a51c558b802f2a3aae","datavalue":{"value":"data abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745248$65A85360-115F-4F88-A974-044B317A1DA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0081d23dd68acae767a7f1d59687b00f593ba495","datavalue":{"value":"programming-in-the-large","type":"string"},"datatype":"string"},"type":"statement","id":"Q3745248$FA5BC206-43CA-49D3-B469-7F2ED6EB65DF","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":"Q3745248$2D4F9B99-C814-4AB2-BE8C-EEAAEFDD5A37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6e9f30836d536867b33b673a5365f502d040438","datavalue":{"value":{"entity-type":"item","numeric-id":3814782,"id":"Q3814782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b10e1792a7e46c2c92cc211df572ec6e21062ad","datavalue":{"value":{"amount":"+0.8020119","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":"Q3745248$680884EB-F326-4EF0-8FCA-ED435CAA84E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a3292bc0ff4193bf32adaea1d5bcb6b159dbdf1","datavalue":{"value":{"entity-type":"item","numeric-id":4702598,"id":"Q4702598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1a77f9780970acc77e54965321e0e4c3bc87bf2","datavalue":{"value":{"amount":"+0.79083896","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":"Q3745248$36B6CF39-8146-4F07-BDB2-11A606C608B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fb8241685e70cdcbfbeca781c92f8de55bf8c6c","datavalue":{"value":{"entity-type":"item","numeric-id":1272765,"id":"Q1272765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4062fbc09078a558846cf2aa9fb5494a6ea7f25","datavalue":{"value":{"amount":"+0.77735555","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":"Q3745248$25BAF039-D209-4E3F-B71E-CE771196445A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a04d746ce7c83ae2b6745e36e1a82d801766a0ae","datavalue":{"value":{"entity-type":"item","numeric-id":4312481,"id":"Q4312481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49a49b85202ba0f74143381fa78c3ad3006dfb63","datavalue":{"value":{"amount":"+0.7761955","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":"Q3745248$AF63F48B-80F4-4C3F-A485-E76CAF20ABCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd6050ea3f6d7c2d90cff65bbd5ed6ec750b3882","datavalue":{"value":{"entity-type":"item","numeric-id":4453224,"id":"Q4453224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75ff52b071249a09d80b2d293dac021cef901d98","datavalue":{"value":{"amount":"+0.77411425","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":"Q3745248$4E940525-7C0C-4FDB-A17E-8B3DCACF3907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb5103177395e4749d6879ed9a46b463a10af030","datavalue":{"value":{"entity-type":"item","numeric-id":2075772,"id":"Q2075772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa36e19184ad3e3946ea2a40a515c8697c34193b","datavalue":{"value":{"amount":"+0.7657966","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":"Q3745248$4F65E75E-7FDD-44AA-9CE9-4D02B10F25EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"170db72665afcd50d590bbb3c39217f000254c56","datavalue":{"value":{"entity-type":"item","numeric-id":3707396,"id":"Q3707396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"051e6f5442acbde648059df1b2534aaf96ac1564","datavalue":{"value":{"amount":"+0.7617151","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":"Q3745248$E9745E5D-52EF-4F8F-944A-6AFE864FD817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5e012d623e574b41709774178107c72fffb5d94","datavalue":{"value":{"entity-type":"item","numeric-id":4352500,"id":"Q4352500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82cb819c2207d94712e6291b9a2bee2c28cabcbd","datavalue":{"value":{"amount":"+0.76082313","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":"Q3745248$B3634BEB-2848-48F7-A6C8-D3C182596135","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3745248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3745248"}}}}}