{"entities":{"Q3576189":{"pageid":5606093,"ns":120,"title":"Item:Q3576189","lastrevid":51048188,"modified":"2026-01-16T09:31:25Z","type":"item","id":"Q3576189","labels":{"en":{"language":"en","value":"Proofs, programs, processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5762730"}},"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":"Q3576189$94DBCDC4-4FD8-4922-8BDB-0DE5D5E7CC30","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cfcdcd2aa3e20f6f544b1a95c6b5592b2ab2f103","datavalue":{"value":{"text":"Proofs, Programs, Processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3576189$35BC0E02-D584-47FF-A91B-09322C9359A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2151f4eda0df29ca055972b9376289022c946dc6","datavalue":{"value":"1280.68077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576189$4CFD76BC-E36E-4462-B4DE-557EE25A4DDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"301b46a367ae64dee715f03bf4ecf99f938ebedf","datavalue":{"value":"10.1007/978-3-642-13962-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576189$ED6B3E3D-22E0-4623-89DF-27D7FCEAFF41","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576189$A517D40D-98C9-4B50-8BA0-C082B6ADCEAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06c1321f49508cea4a158e2ae71d33c1ecda72d","datavalue":{"value":{"entity-type":"item","numeric-id":693062,"id":"Q693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576189$37805180-458C-44A0-884D-7670F142847F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73c6c5c7d6112d0ad7835b4a6f6df249f30bf447","datavalue":{"value":{"entity-type":"item","numeric-id":3576184,"id":"Q3576184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576189$7400C99E-B985-45A0-B8A0-F0D83F6D0CD3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db6d4a7a569b2832eaba9736541bc42cdbce7b4c","datavalue":{"value":{"time":"+2010-07-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3576189$ECE1380E-8568-4A1A-9071-B9D5B641AB4D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b12a13fe954e57546bdeb47ebbcba2f445edc34","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.2805","type":"string"},"datatype":"url"},"type":"statement","id":"Q3576189$64DEB8F9-38BC-42F0-AF0C-381121440DED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576189$B94401D8-5197-46FE-B7A2-97F879E5D449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576189$5D029EAA-FF11-400F-B074-93337EF6272A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576189$0A639EEB-14C9-4AA5-AD6F-E6F1D51C14E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d191f389497170dc2c2c199455983744e294dc4b","datavalue":{"value":"5762730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576189$D3BB4EAF-3C26-49AD-891D-C7CEB38040D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576189$AAD4D285-6DE7-4707-B618-0DBD58AF804E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03aa588e4f5e4578a5ce68662ac6bff84baf18c7","datavalue":{"value":"realisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576189$92597F5E-6B3B-4115-BD26-B43A26F8EF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576189$2B4FDA4F-8071-4936-A326-EBF147347472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b229ed9383ed2232d0f4aa93f4113d23427c959","datavalue":{"value":"exact real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3576189$84A56EA5-AB1F-4A27-BF04-F43A5419AFA3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6e1a240c321e56a4c4972fd8e23ea8cd8e21bff0","datavalue":{"value":{"entity-type":"item","numeric-id":21744,"id":"Q21744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576189$A47EBD12-8F69-4AF8-BB25-17EA7CA9F61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3576189$175DECD5-6D0F-4323-B309-94077463134B","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":"Q3576189$4520CB00-C04C-4A9F-A1A5-4F3C988E65A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"98828691564a90b15ee86b8d455121c725937f39","datavalue":{"value":"W2164827410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3576189$8991FF22-B9C7-4036-92B6-4E5303E5ABAE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d43c8caecbde7694f12ec3164da9e4d96d586bac","datavalue":{"value":{"entity-type":"item","numeric-id":693063,"id":"Q693063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7e30b556846922bcc84ab1862fda1d69468d80","datavalue":{"value":{"amount":"+0.9727026224136353","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":"Q3576189$E05F2688-5E65-4866-84A1-1FB9EC483C6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d80213a2c062f7c2f483fcce36adba4f0d8444","datavalue":{"value":{"entity-type":"item","numeric-id":3081640,"id":"Q3081640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99e799c1e54b7ac1df25f20e170c92db4ec681d","datavalue":{"value":{"amount":"+0.8871878981590271","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":"Q3576189$105C9E61-4667-44FD-B3E1-A2F100266C20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da37791c9e2e732ecd85d3ecc7996e5b3bfc227e","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44b225bb0426bc4ee991c7f9768946f08efd1a5a","datavalue":{"value":{"amount":"+0.8708718419075012","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":"Q3576189$32618E0D-6D41-4B5B-8459-2FDED42282F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f6f4914cfd704d6ad9feca7c791b1fcae893d1f","datavalue":{"value":{"entity-type":"item","numeric-id":2917339,"id":"Q2917339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e915bf0970d02d4afbea66265183e9e79ca68d8d","datavalue":{"value":{"amount":"+0.8645986318588257","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":"Q3576189$CD7EC415-6131-4C22-9822-C376D106043C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa5b039342e856cd778c6e78906b3479600b1be","datavalue":{"value":{"entity-type":"item","numeric-id":3075213,"id":"Q3075213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f2ba8b1182271dc2c71c35bd201b9bd3fdb5a83","datavalue":{"value":{"amount":"+0.862175703048706","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":"Q3576189$80B780C6-DF27-4CB7-939F-52150E74F2D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3576189","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3576189"}}}}}