{"entities":{"Q2278838":{"pageid":2289581,"ns":120,"title":"Item:Q2278838","lastrevid":71743839,"modified":"2026-04-14T00:15:33Z","type":"item","id":"Q2278838","labels":{"en":{"language":"en","value":"Completeness in equational hybrid propositional type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7142215"}},"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":"Q2278838$3F318926-3F46-4F60-8316-6BA60BDB633F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c207e96ba0d34a9bf7e22bf35b9d85dcbb093c0","datavalue":{"value":{"text":"Completeness in equational hybrid propositional type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2278838$4E41A845-6B33-4A6F-B037-424444D9FD52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c4faf9ddded63e4939b1ea20c41b1258f0df791","datavalue":{"value":{"entity-type":"item","numeric-id":301372,"id":"Q301372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$D8A8C783-2E40-4ADC-ABE7-9697AB678915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f93cd18382af0067ee8c04bbac9fa33b71d6b21","datavalue":{"value":{"entity-type":"item","numeric-id":484099,"id":"Q484099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$8DB94C78-EACF-49EF-9046-5531348CE6E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16c27f1802df578a92c8e5d7cd119141d82ce2e5","datavalue":{"value":{"entity-type":"item","numeric-id":484100,"id":"Q484100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$1CF560FA-CCC6-4B4B-AFEA-2026ABAB0DB3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$731C0C51-F979-43DE-828C-B37D8B4E590C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bef9928ec9078c68c2933d242e4599e8cb078c8f","datavalue":{"value":{"time":"+2019-12-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":"Q2278838$15DD4524-91B0-4977-81CB-1A6D269E48C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32c58b86f36b3b8e33598edb6c1595204fa74175","datavalue":{"value":"http://hdl.handle.net/10773/27104","type":"string"},"datatype":"url"},"type":"statement","id":"Q2278838$ACCC6631-0134-4AE2-912F-B530EF6CF8E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278838$FEA3A6B2-731F-4D6D-BD96-A5B110153F0C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b02d87a1330e8725d4ad7983793078919410569","datavalue":{"value":"7142215","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278838$C08081FC-57BF-42A6-A040-C93080D9773B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8ea2e750039ce86ad4438a146bac2a2d52965fc","datavalue":{"value":"propositional type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278838$4A749248-B81C-4D46-8C0C-83F78A382B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278838$65E50424-FF49-477D-B56D-F4F7A4C63AC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278838$2CEC6B28-D99B-46E6-897C-80C021159170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2278838$B0709B55-2B7F-4567-8ABA-586C4A47EC9A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$897A2238-07C6-403B-9510-C4E101782FB4","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":"Q2278838$902258F6-8215-4AE6-A0F1-0FD7CE489C2D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3a0a83bf4c78a73bc6a707490e24cd7603bbf68e","datavalue":{"value":"W2896709287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278838$54172275-C55C-4632-BE48-5639A41C8671","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a354fd6c71f8a73a4d7c4b6a3314179644b316ae","datavalue":{"value":{"entity-type":"item","numeric-id":5332210,"id":"Q5332210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$59536F2F-4E57-4095-A850-A79F9283FDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$81932851-B9C3-4C61-8AE0-AC962F6B4501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"387ebbf02524c9f6c7cf3a328c5dba366eadc7fe","datavalue":{"value":{"entity-type":"item","numeric-id":484101,"id":"Q484101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$D3F540D0-5B31-4CE0-B349-3042C76586B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44c0098c4d5ad561d6766ee35aee68609a9aafd4","datavalue":{"value":{"entity-type":"item","numeric-id":2255232,"id":"Q2255232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$0C3EB074-5F5C-4D60-9E1A-F0C926385B82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$8160CCAF-9731-4DEE-BE10-485BD1E23A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86319bfc24a47dc75ebbd8588b12a29a37cf6508","datavalue":{"value":{"entity-type":"item","numeric-id":863181,"id":"Q863181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$B8E9A528-D90A-47B9-A523-6D8C0320B93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$D91C06DA-2910-4FE9-ABAE-3F10B8F50738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$12CF9245-683C-44E1-AE35-66A3CDB375D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74de0f17172d6f27a76997be758fa5c9407d2dac","datavalue":{"value":{"entity-type":"item","numeric-id":3235795,"id":"Q3235795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$696CD4DF-7DA1-4BE7-8433-2B36745A8DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111f0eb16bef0501ce0fc399f1827e597f8b82f4","datavalue":{"value":{"entity-type":"item","numeric-id":5332209,"id":"Q5332209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$E3B009CD-AF4F-4E28-B92E-BBA247252FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a78fe8a50d6a6c45cadea7fc3be9ea82150f3ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4858033,"id":"Q4858033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$8877007E-A2D7-4ADF-ACAA-3B647B7856BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79aeed4964278674423b0a5003aebc7829aae8a8","datavalue":{"value":{"entity-type":"item","numeric-id":5173183,"id":"Q5173183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$B08A999A-37E3-4EC6-A5E5-792C64A43B43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8a79c123889bd01aae9d0303538a4f7e9101aa6","datavalue":{"value":{"entity-type":"item","numeric-id":405603,"id":"Q405603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$7DC3EC63-2B34-4025-A04B-DD7B44052DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"952883d4ba32693a9a65cf685282bdbd6fa6bb75","datavalue":{"value":{"entity-type":"item","numeric-id":4576060,"id":"Q4576060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$EAD9A109-0987-4BBE-986B-849FDC78A426","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800aec5aa0cde41f65de2a51590540426d2771bb","datavalue":{"value":{"entity-type":"item","numeric-id":4629288,"id":"Q4629288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$D54A9A7F-BA19-4DAE-B33B-B7F0B25C39E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8fe59e6adf4a259b80e39d3171482ae787d8ea","datavalue":{"value":{"entity-type":"item","numeric-id":5768089,"id":"Q5768089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2278838$19BC5151-9E89-47C3-B5F5-A1471E35B707","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f3d885d7d5c6d6b84b6cc2bc5efdead8fb900a21","datavalue":{"value":"Q129081386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278838$6D03908B-727C-4B72-A1CE-AFCBF504B047","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"52b623fb89e4becf99b3b31693e659a1e3730cb6","datavalue":{"value":"10.1007/S11225-018-9833-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2278838$7955AD09-226A-4A0C-B945-FC1978A39044","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"947b01272651624c01d6afd206bd4917bd43318e","datavalue":{"value":{"entity-type":"item","numeric-id":484101,"id":"Q484101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1ddce9496191edf5ed7ec9129a37c74f044b954","datavalue":{"value":{"amount":"+0.8225800395011902","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":"Q2278838$04CDE375-C194-4965-BFE8-F54C1BB88930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e17ac2e0649c388a74d103e6f5d44495bbe63dbd","datavalue":{"value":{"entity-type":"item","numeric-id":3454819,"id":"Q3454819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28c7b9a1bc5cda416b0428bf0e464dd05170331a","datavalue":{"value":{"amount":"+0.7228720784187317","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":"Q2278838$DA26A48E-B093-4017-B06E-0101FF515760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"817335209add79e04b49f60a89f6120ac60e5e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4210769,"id":"Q4210769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"942f3e06761acd718a6262fb5c98c42039ab4ee3","datavalue":{"value":{"amount":"+0.7217869162559509","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":"Q2278838$1FA96338-052B-4458-9EFD-C8DC588375BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75b7768d0f17c4af32c9beb560fda01e421c0304","datavalue":{"value":{"entity-type":"item","numeric-id":817688,"id":"Q817688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7668ef663a921e6e91bd0b1e899443213d888f8","datavalue":{"value":{"amount":"+0.7204176783561707","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":"Q2278838$DCCA40EE-E24C-4F9D-BFA0-CE178B83BFE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"623065ff08437486ed50597a174c726e37e50f76","datavalue":{"value":{"entity-type":"item","numeric-id":4299858,"id":"Q4299858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ce9a1cc8c33a1a9e1342f8e1f98e1475da5d94","datavalue":{"value":{"amount":"+0.7142294645309448","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":"Q2278838$64AE6438-58AC-4578-80BA-29E0F43DCC7D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness in equational hybrid propositional type theory","badges":[]}}}}}