{"entities":{"Q4681364":{"pageid":6710945,"ns":120,"title":"Item:Q4681364","lastrevid":48505003,"modified":"2026-01-05T01:13:30Z","type":"item","id":"Q4681364","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2182489"}},"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":"Q4681364$B7B36D99-FF8F-461B-98E2-1AF0D2086409","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"273800f95098425ab5109d6fb7675878220e5006","datavalue":{"value":"1095.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681364$0EC3C7EB-B4A7-4F66-8F63-B6F733CC2356","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5aad179d365c253d181fa8115a831f46e7923370","datavalue":{"value":{"entity-type":"item","numeric-id":375196,"id":"Q375196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4681364$CCE76DB7-C163-4428-80F6-89C1AB4A9F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c3f09969608d8699dd0bc1cbe8a166511a2b5de6","datavalue":{"value":{"entity-type":"item","numeric-id":740483,"id":"Q740483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4681364$E06C4FFD-366D-42F5-A46B-C0484C32A948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6000c9042cf5dc90329234d0f0daa99e8c67b11","datavalue":{"value":{"entity-type":"item","numeric-id":1818635,"id":"Q1818635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4681364$E3D4F9A5-1AA0-4CE6-BCA3-9434E55DDC59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"248c1efd530ae2f9901b8ca831703cab8c4ba528","datavalue":{"value":{"time":"+2005-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4681364$FFA65BAC-1692-4F83-99AC-486597645283","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681364$9260164E-510A-4C2D-8912-1B4CE8C9DCBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681364$FE249327-4CAD-4612-9809-786FB245D60C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681364$3394E18D-479E-4286-99B5-CA966491B749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681364$D2C01AB6-B757-4EA5-8E41-7E2A6D6BA7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681364$542D3C26-9C36-4AA8-A891-935735DA434B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681364$CF03D888-CE7F-429D-8DE2-565335A09749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681364$B2909519-867F-4A18-97BF-FCA6F017ED6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681364$ABF00D0A-A021-44CB-92B4-7E3BDDA14DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681364$55893542-3E80-4824-BD08-FEEF8F5274CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681364$AE3D63F5-DE13-40C2-9147-3E16E1F232C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6ec194b867e4f8fbd7adf7d6950750f5023cd275","datavalue":{"value":"2182489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4681364$50116A29-AE54-4DC9-954E-F7DB450969B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27b892701cbaa959a403427ed86fbc519c8d7459","datavalue":{"value":"functional programming system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681364$903CD70E-D8E8-4B9C-994F-E6864B787728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a25de608b6db137cb7827652ae6036a309aa2149","datavalue":{"value":"module-based systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681364$982451A7-8B1D-4E36-A6E4-15AD0B8C5085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e246fb0f991ce855f21dd7ca538d3646789fbe6e","datavalue":{"value":"Martin-L\u00f6f logical framework","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681364$B11340CC-4FAE-4F73-9637-7C44581687E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b11052b83d31e7216bff4c2fcb15ea6f357ed9eb","datavalue":{"value":"foundational computer algebra system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681364$7BAE1668-6A81-46EE-980B-8EFFACCA1122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1e54dddc7bd51e318b464e5fe1f6c1e3d49f65a","datavalue":{"value":"type-based proof (assistant) system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681364$3E5AB95C-B286-42A2-AD69-71E55B4DCA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9984f740490eaa1aad50c6f126fdb79feaf53a0e","datavalue":{"value":"meta-mathematical proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4681364$FC998C8A-0CB4-4481-9853-0A8911A0F50C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4681364$BC0E3C6F-F350-410E-9FDD-2B55EAD09BB3","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":"Q4681364$0CC4FA6C-76A5-42D2-83A7-528AA1D5F1C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7806d431406bc0a857a7b60be6882dfdf02e41b","datavalue":{"value":{"entity-type":"item","numeric-id":4457452,"id":"Q4457452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbc3e1e2efbf1fe5234f02e41a125dddf00cb9a9","datavalue":{"value":{"amount":"+0.9732378125190736","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":"Q4681364$4450106B-4E27-467E-A5E8-57965FF8D37F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e923df3bf9608d52d0b963a0f393bb430f783da4","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bd60c3fa9a20435294bdb021b404722aaa499c","datavalue":{"value":{"amount":"+0.9084866046905518","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":"Q4681364$0D13A33E-4222-40E2-9155-3297CA8FFEB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e0bd52600c1ddb05f8df33fcdbd1c10177b9b09","datavalue":{"value":{"entity-type":"item","numeric-id":699688,"id":"Q699688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d96891e4a0d7846044184df926637ba936d4422","datavalue":{"value":{"amount":"+0.7810996174812317","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":"Q4681364$3E6DF986-9F22-4347-AD13-0ECFD9BCDDB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"077f6fe0b608a1e76755e2fed84c16ca5b0a0d88","datavalue":{"value":{"entity-type":"item","numeric-id":3840769,"id":"Q3840769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a1ceeea8a6dc8cf310a79bebab7a08337c6c14","datavalue":{"value":{"amount":"+0.7710094451904297","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":"Q4681364$EECF33CD-DAFB-4D59-8EC0-8FF786BBA5FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b35b8a8fa2c66bdffdc4f4627cbac691634a6136","datavalue":{"value":{"entity-type":"item","numeric-id":4247299,"id":"Q4247299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92a1ceeea8a6dc8cf310a79bebab7a08337c6c14","datavalue":{"value":{"amount":"+0.7710094451904297","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":"Q4681364$74BE7F60-9E79-4708-BA7C-44CDC064825D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4681364","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4681364"}}}}}