{"entities":{"Q5712308":{"pageid":7741862,"ns":120,"title":"Item:Q5712308","lastrevid":101657102,"modified":"2026-06-06T01:56:54Z","type":"item","id":"Q5712308","labels":{"en":{"language":"en","value":"Types for Proofs and Programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2240436"}},"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":"Q5712308$5D069AAE-A752-4941-9B13-917801B9322C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e79d8390cbcfcf48f52ba5d0f093f0e583d1f11","datavalue":{"value":{"text":"Types for Proofs and Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5712308$FA60CE84-F822-4E56-B9AC-9BD1889DB4FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26378d179d826fd62e782738fc123c1985415901","datavalue":{"value":"1100.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712308$FF609565-A597-44BE-8271-A878698E4594","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712308$8A6EF9AB-95B3-466F-ADD7-42594E8DFE1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee9771119692ddffd69d111df56f64f5e92dbebe","datavalue":{"value":{"entity-type":"item","numeric-id":556820,"id":"Q556820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712308$B6D27A86-F133-431F-940B-96EBB7097943","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5712308$9D67C383-5B4D-4690-B8C7-733AF6956424","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17dc618a5d162b46bae90491d12c35966ac89444","datavalue":{"value":{"time":"+2005-12-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":"Q5712308$386E1FA6-403C-452F-ADDB-91C6608C31E6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712308$420812F0-EB10-435C-8490-2BE79E8CCE1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712308$26D24678-2938-49F1-B84F-8C9693036759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712308$1558C06C-50D5-47FB-AEE0-8C7D2F79D527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712308$AE39C568-398E-41BA-BE8E-FEDF28EB8E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"111716ee37b63583c9ec7d2f027a257161dde87f","datavalue":{"value":"18D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712308$ECCC7024-8442-47A9-A361-134E287F26DB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16a994869649bc43b2ea7bd2d3fa7dc74369ff0f","datavalue":{"value":"2240436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712308$E4E8C24E-68BA-4349-950F-C676F26512D3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad7398e0a30c08cc5315b8f1d8ee97a0fae56b05","datavalue":{"value":"linear graph model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712308$FA76649C-D20E-4B17-BF08-B83894B98143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f9cac4818536e03dc73670485e1a132cc05b087","datavalue":{"value":"traced monoidal category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712308$008F8EBE-0B5B-438A-9302-FF61530CF375","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ef8663c746050606e0ccb2a30b60e1e198def10","datavalue":{"value":"weak linear category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712308$75D4279F-E828-43F7-AF49-908DB43B32BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ada1d5a3a5869ed71a173ccfd9d89659fd6b3932","datavalue":{"value":"categorical geometry of interaction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5712308$560D5235-2016-4344-A771-ACFF3247233F","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":"Q5712308$71479D2C-2FD6-40EA-8745-4903FA241413","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1fee6d0668cbb8bb1384b720d0f9cea12732a7fa","datavalue":{"value":"https://doi.org/10.1007/b98246","type":"string"},"datatype":"url"},"type":"statement","id":"Q5712308$0170F2FD-C6A2-45CE-BEE8-36864946E767","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"997116d9ae8d11ec014247094e10ecd25bfd6fed","datavalue":{"value":"W4298423642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712308$0214FBFA-BA16-442C-8498-1B6DDB6D7934","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"64753b15ba5c5bacf00be58bb5ec49b804bb30d9","datavalue":{"value":"10.1007/B98246","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5712308$FC826953-42FC-4D38-A5B6-09F36BFAA03E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8c5a66c5b7316a31aeab808f494ea196b3f3b7","datavalue":{"value":{"entity-type":"item","numeric-id":3408153,"id":"Q3408153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12d455e2d4dc25674475865bed98ebc3063caa78","datavalue":{"value":{"amount":"+0.9447261095046996","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":"Q5712308$D6C65464-7DA8-4690-85DB-EF971C35B1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23d0d506b3c04e3059aca284a58e3bb29409a2b","datavalue":{"value":{"entity-type":"item","numeric-id":817846,"id":"Q817846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bbbcf5d5c8894d894b840679c9f269b4399fdaf","datavalue":{"value":{"amount":"+0.7492945194244385","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":"Q5712308$85280E24-8332-429B-B8CC-0A49C6BA714E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13da0b5ce7f4302cd8c512dd1ba84b41a556861","datavalue":{"value":{"entity-type":"item","numeric-id":5466507,"id":"Q5466507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112f54922ded80d067f172169742bebae10f91ee","datavalue":{"value":{"amount":"+0.7480689883232117","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":"Q5712308$2F5D186E-5B7F-4034-B716-873343039D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cc07f04b83305505ce68fb2e28a30592f6b333a","datavalue":{"value":{"entity-type":"item","numeric-id":3564345,"id":"Q3564345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a6aae747d7217086abbe65b7acf3984627a0c3f","datavalue":{"value":{"amount":"+0.7432990670204163","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":"Q5712308$BE68B4D8-36B9-47A1-9250-A7B0F323289E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c172631401b4a4131c92b0aa5bec6fbd06aaa99","datavalue":{"value":{"entity-type":"item","numeric-id":2849878,"id":"Q2849878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03580710d872af493c9308246721950e0d781194","datavalue":{"value":{"amount":"+0.740593433380127","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":"Q5712308$DA9F2386-D455-4832-A378-0CD7709F0CB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Types for Proofs and Programs (scientific article; zbMATH DE number 2240436)","badges":[]}}}}}