{"entities":{"Q1322848":{"pageid":1333598,"ns":120,"title":"Item:Q1322848","lastrevid":67173288,"modified":"2026-04-12T15:47:08Z","type":"item","id":"Q1322848","labels":{"en":{"language":"en","value":"\\(QPC_ 2\\): A constructive calculus with parameterized specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 566069"}},"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":"Q1322848$64783A4E-69BD-43A5-A3B3-CC00BF8B3F02","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ff541b0db03b0e1860031ae62f21f1baf7f19bb4","datavalue":{"value":{"text":"\\(QPC_ 2\\): A constructive calculus with parameterized specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1322848$1E8D39EF-CD9C-444E-AAA5-F60621B21318","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f935a1b331f22a7964f0ed108f321399b6d41dad","datavalue":{"value":"0804.68085","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322848$CC075803-130E-4B84-8353-2E79D2267D98","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee67deed87db4f3d6962a681091127f554e2afe7","datavalue":{"value":"10.1016/S0747-7171(06)80008-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322848$634D5BB0-EB48-42CC-93FD-CE9BC983287C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0ac016191ae608530c85a3d4a9c637d05fb94c7","datavalue":{"value":{"entity-type":"item","numeric-id":515712,"id":"Q515712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$B363FD86-FD66-4CE4-8441-D7CF20BC256B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$181172AA-903F-49A1-AA7A-E4CC0CC5D02D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0b9742ce47347ab40f936186bf0b8d8c03fdc54","datavalue":{"value":{"time":"+1995-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1322848$26B20C1E-78DE-411D-84AE-4EA09CCC587E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322848$607D070F-2075-4072-B18E-64526F0A44BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322848$4E365D07-105D-41D5-B268-2F45B21577B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322848$E321E801-E5D6-4F81-B59B-072D772F621E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322848$33DB8715-67D6-4796-B0EE-2587458B9E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322848$757A7422-C96A-43A6-86D5-1896340D301D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322848$963DBC83-12C2-47FA-B306-8FC57AA3F154","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"932273533af792ae51aa0c1e72c99df13393fa4f","datavalue":{"value":"566069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1322848$A2866720-90A5-4180-8955-DE78F8088F11","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19fbab8aa68cfd17e9d244df90154ff099395979","datavalue":{"value":"calculus of construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322848$3D60E1D1-DDF8-4BE6-8FB0-42039A33977A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"486173fdea484958e371bcc478b16d274811d71a","datavalue":{"value":"intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322848$C21C6760-80BA-4BD5-BD47-80FBFB7FF31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a50be52c712460c1c18f1acb6c1cfad9d4e22c1","datavalue":{"value":"second order constructive calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322848$D48ACB7C-BE03-4ED2-9529-43A66198214F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c1608258538e3c4f1ae292f2261d81f517023bc","datavalue":{"value":"hierarchy of universes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322848$B98A5004-3ABB-491C-BB48-D309C5EF6A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322848$D2DF149E-DE35-4BB0-89B2-D387595AB409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5988cdfcbf1ce6e4802e928cc064e7f5a87bcfa5","datavalue":{"value":"functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322848$8DA39FE9-7BF2-424B-8580-5F8DEAA09D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ccac7bfc846c296c5cc354a3a0433e354a87e54","datavalue":{"value":"universal quantification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322848$0E6D64E7-E5E4-4348-A1D5-8AC2C9F15A29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c04c65539e288ed4aa6df286dec8316eb0af945","datavalue":{"value":"parameterized specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322848$03DAB426-E089-48AB-96BC-C08B477F5CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322848$86988E78-F4BC-439B-A9C0-5F6C8349A1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b51f5daad972e3ae93b964cdcf23fb05d9be8605","datavalue":{"value":"program scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q1322848$3D975491-047B-4EFA-8C3B-35F044BDC3D6","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":"Q1322848$4B4C00B1-67EE-4D06-91EC-589A92C68C4D","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":"Q1322848$355A1601-7E6C-46E7-8CD6-AAD9CD13334F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$58C1D968-7D8B-4EB2-9B50-71742CF8F9CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ee85ee408ceb2acfb30c438cac3496a36c4200","datavalue":{"value":{"entity-type":"item","numeric-id":1091379,"id":"Q1091379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$F536B999-FA99-42D9-9E05-087730AD9A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1435f3ecb80e66ef3a6c0e0b3b5e54cc7cafb970","datavalue":{"value":{"entity-type":"item","numeric-id":3880322,"id":"Q3880322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$5ED6D59F-4411-484F-AC17-5A9CD03D6413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfba4ac132116d209506069ad2d1e3b24c873805","datavalue":{"value":{"entity-type":"item","numeric-id":1322477,"id":"Q1322477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$8BEE519D-CCED-4673-A60F-DD6F847E96BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc9c5f4d2a3665ff37b68ff31d08bc5eef515af","datavalue":{"value":{"entity-type":"item","numeric-id":5611760,"id":"Q5611760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$F1CB090D-C363-4FD3-B4C6-2434BC08C117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$8E4775E1-00C0-40E4-A913-E63A45388659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$4B174E53-59D9-4D34-A15E-81593828D403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$FC59484C-480B-4623-A2F1-13AB5F0E19E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7fc71a785d61598fa9ee5d59dc85579cf566a7","datavalue":{"value":{"entity-type":"item","numeric-id":808284,"id":"Q808284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$51C68105-D284-4266-BA92-237A760CA941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947f377ca9b6bb3fda91c2ab02f06c0ede20fc8a","datavalue":{"value":{"entity-type":"item","numeric-id":1183580,"id":"Q1183580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$4122B143-4AB4-46EB-93AD-41EF8AB0A7C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1322848$B613CF89-A1CF-43D3-83E1-2EBE1612A8B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26cb5cd464b164ea1acb873ebe4a85f44b92d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":912589,"id":"Q912589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740befbb2ed7a6b948b0ae7f90b0f50214f53094","datavalue":{"value":{"amount":"+0.7404308915138245","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":"Q1322848$8E3FF5C0-9BBE-441E-8C1B-4939779AE65C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"608620170593ad619f06b2819a60970a671696ff","datavalue":{"value":{"entity-type":"item","numeric-id":4471724,"id":"Q4471724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cce24a7411631b023e2e91a7b4bb5b4efa78eb54","datavalue":{"value":{"amount":"+0.698932945728302","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":"Q1322848$67074DC6-706A-4E8E-9FBE-CB27E519FD2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"927b8e404dc7ecc23e06ab2cf2c90d88a36a9ae7","datavalue":{"value":{"entity-type":"item","numeric-id":4847374,"id":"Q4847374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74c9f43f6985f10d422c70d3d0a5574f822d4cff","datavalue":{"value":{"amount":"+0.696706235408783","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":"Q1322848$586EE348-7CB4-4B2D-9C9D-7BFEE2E0BA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77217dc2085b0609e7fd5b1db191a64d2ac5718c","datavalue":{"value":{"entity-type":"item","numeric-id":1322847,"id":"Q1322847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a11c83dfd8706b3a8516d87bfa6a00c2b14071b","datavalue":{"value":{"amount":"+0.6860432624816895","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":"Q1322848$AAC18BAF-588F-4CE4-8113-939F77596AE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"\\(QPC 2\\): A constructive calculus with parameterized specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%5C(QPC_2%5C):_A_constructive_calculus_with_parameterized_specifications"}}}}}