{"entities":{"Q3007667":{"pageid":3018391,"ns":120,"title":"Item:Q3007667","lastrevid":80157293,"modified":"2026-05-06T15:34:02Z","type":"item","id":"Q3007667","labels":{"en":{"language":"en","value":"Partiality, state and dependent types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908726"}},"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":"Q3007667$6DBD67BD-1517-46F2-807C-E2CC4D9DD585","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"82fb64b9397956fcf78559635cc1b8444c2e36c8","datavalue":{"value":{"text":"Partiality, State and Dependent Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007667$CFDB3921-2B9F-4B0B-9136-44E589AF196E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9632649f5ed93920bbee82fbba5c216f48ca57eb","datavalue":{"value":"1331.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007667$611B2B2D-7465-45B9-B63D-5DC1B8B5740A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"345487c221ffe8fe94c03a7fef24e23457463aea","datavalue":{"value":"10.1007/978-3-642-21691-6_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007667$FB724330-52EE-4E80-9998-C85BD01D3409","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32a852dd13c129712c151cef4e3381588e180803","datavalue":{"value":{"entity-type":"item","numeric-id":2323982,"id":"Q2323982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$C68F8EC2-C1F9-44FB-8D54-31F7BC1E5114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b248d705e0b51ec4722970eaa46ae5f39664514d","datavalue":{"value":{"entity-type":"item","numeric-id":1426867,"id":"Q1426867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$0F1E6517-F43D-4FC9-904C-53C02D9B3B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"573e97e485dc7f23b42802228edbcbd518cf2ea9","datavalue":{"value":{"entity-type":"item","numeric-id":444497,"id":"Q444497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$A78E67D2-0180-41E0-8885-7841C3ADD829","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":"Q3007667$55537ABC-C46A-4C69-A612-5974C86EC60B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007667$7FB8988E-79E7-4A28-8AA5-428AA8BE6441","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007667$F1E1CB0B-87BE-44A3-9D00-CCF0B445C316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007667$56DF5CE4-B605-485A-9E38-C101A7D49809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007667$C1DD0D45-F357-47A5-B4F3-ED9D5CECFF27","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"006f0a2ca858e633a2162e0dcb7d55fdd71685ef","datavalue":{"value":"5908726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007667$07951CD1-8984-4258-9C3E-42850FD83F2C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$E9F4F982-1263-48ED-9B78-E8D2D848FFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$596A2902-5487-4F15-8A62-F9839764A2A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4dfe52116eea178df8e98fcb66fd7e4802fcbfc","datavalue":{"value":{"entity-type":"item","numeric-id":24263,"id":"Q24263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$1A71B8D5-BBE8-4563-A2BC-52D3E0E1BECD","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":"Q3007667$27A11907-846B-48AB-8AC1-9D7410FB5FDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12e45e1a5d547ab414547e1434960f0e0baf4e2d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21691-6_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007667$3A375B90-3E55-4D8D-B8D6-9EF560A03EC3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e4c50f46c8682cb72f695e02ba94d93b7d24ba15","datavalue":{"value":"W1565968479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007667$1F716DE6-160C-4F56-8D66-9F7313FEE92C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$37559D67-04E8-49D5-B88C-9384946A0AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40baf4bdceb7bc43f795fddb529b32cd0b1cc67e","datavalue":{"value":{"entity-type":"item","numeric-id":5466528,"id":"Q5466528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$1EA9C9F6-FB30-4803-ABF5-97D1B5DAE4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d986bdf2688f9a4f038ee0a9de427fe936094398","datavalue":{"value":{"entity-type":"item","numeric-id":1173956,"id":"Q1173956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$F4993811-16AB-4B90-ACD5-98DEBD5CE1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a17c4379c86a96dcc7980a8094e17013458d89a","datavalue":{"value":{"entity-type":"item","numeric-id":3583027,"id":"Q3583027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$6C023F13-9445-4C1A-B386-E8CBE27AA338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a2d5b3b619440a8688bc904c8977683133d0bc7","datavalue":{"value":{"entity-type":"item","numeric-id":1244808,"id":"Q1244808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$B0A6DA9D-6796-41F4-A923-5C9070D8E836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa5e257b9871609149494f8e523d8e86f14aae0d","datavalue":{"value":{"entity-type":"item","numeric-id":2743705,"id":"Q2743705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$ED532276-31CE-46D7-9C79-31349ACF348B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21bcc30b765cca771213ef9a1977f71c8871dbe4","datavalue":{"value":{"entity-type":"item","numeric-id":5310638,"id":"Q5310638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$9EC08DFC-3CD3-4C25-B0E5-770DC3137A97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b0e1d3a6677e7333b81d65a78b1cc541bdf2d5","datavalue":{"value":{"entity-type":"item","numeric-id":4249900,"id":"Q4249900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$80EEF3EE-A41B-42C5-AAC0-CB1249D5AA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8c3bff08a591a81b01078d3191ce7312b8dacae","datavalue":{"value":{"entity-type":"item","numeric-id":1392287,"id":"Q1392287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$BE63BF38-56EC-4893-83F7-13D75224BFF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43f11a5e6fc21caa581e9ac1e35682b1839d73e","datavalue":{"value":{"entity-type":"item","numeric-id":3075246,"id":"Q3075246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$BDF05C49-104E-496E-B5AE-B729612666AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db463348657cf41d5ff4d422c54e0c686e6e5dfc","datavalue":{"value":{"entity-type":"item","numeric-id":2554952,"id":"Q2554952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$829C467B-2D0F-4B8B-B01F-C6763C350227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$DADE9CE5-82D5-4183-83EE-63139DB1B566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c32f716a89d889d8580cbbf755ea41f18177dd7","datavalue":{"value":{"entity-type":"item","numeric-id":4371400,"id":"Q4371400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$98B46EFD-A188-4792-93F0-43EC1BEA1C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75fbf88ad4b38bd2537051ad7d167bb814dd65eb","datavalue":{"value":{"entity-type":"item","numeric-id":1577483,"id":"Q1577483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$39FD2A13-9CA0-4988-9343-C8FBFFD9D1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa5b39ffa40b318449c3af5a336d8c38885f30","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$F7199A13-3841-4481-8141-5DA5B179A84E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f96080269f1ac57df102d277e6fe30615563ee72","datavalue":{"value":{"entity-type":"item","numeric-id":5178765,"id":"Q5178765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$B666FA0A-01B1-448F-B9F7-A4F2AF17CB68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e469422ed01408c31348e84487db269e23f39f8","datavalue":{"value":{"entity-type":"item","numeric-id":5255079,"id":"Q5255079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$9FEDA12F-27C3-450D-AA0D-47DB80FE9DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5c384f83cfe304bd792549ed6786939a461655","datavalue":{"value":{"entity-type":"item","numeric-id":4783297,"id":"Q4783297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$7D3E659C-A54F-45C6-B1A6-1FF27458A9DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae00c8b64dee152c2a634a511b72a1ade6ad1221","datavalue":{"value":{"entity-type":"item","numeric-id":5458408,"id":"Q5458408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$F5AAE5B0-D899-4F26-8598-B8C323C71E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e312ec6b22c462d2582accb2d0950869da892575","datavalue":{"value":{"entity-type":"item","numeric-id":3007667,"id":"Q3007667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007667$6114E8CE-948E-4E84-B884-6666640BE733","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0d4eb8d1c2f623f8282637cc659b6f5ba91231d","datavalue":{"value":{"entity-type":"item","numeric-id":4249900,"id":"Q4249900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48fda159af684f00474d82bc37b60bf610c40d4d","datavalue":{"value":{"amount":"+0.844252347946167","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":"Q3007667$2FF8949E-9335-4E50-AAAB-8050BD941B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14390bb381c2466373902e6a7612c72c7a54f6ee","datavalue":{"value":{"entity-type":"item","numeric-id":5741556,"id":"Q5741556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48fda159af684f00474d82bc37b60bf610c40d4d","datavalue":{"value":{"amount":"+0.844252347946167","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":"Q3007667$0927999E-ED06-48DF-A10B-A176ECEAAAE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec06f0869f0f61c632cdf6856b174429aee0656","datavalue":{"value":{"entity-type":"item","numeric-id":4853339,"id":"Q4853339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"056d0144bbfdbb35e863824094f363424cd67d52","datavalue":{"value":{"amount":"+0.7588015198707581","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":"Q3007667$38DB89BF-E3A8-4160-8AE5-CB1258AA1499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db9eccf9b5e19c07100937b09b64c55e3fd1dc7d","datavalue":{"value":{"entity-type":"item","numeric-id":2988390,"id":"Q2988390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c97015827a229e25678625d94da5ede2a4a425f","datavalue":{"value":{"amount":"+0.7479274868965149","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":"Q3007667$237FA119-0279-480D-AF42-F8F7BF34FF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"751cf0dec4b636680ca47b8e354d59854960ee3d","datavalue":{"value":{"entity-type":"item","numeric-id":688734,"id":"Q688734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddadfa0cd6ffd84c2251c1dc9c345f1023a11702","datavalue":{"value":{"amount":"+0.7374942898750305","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":"Q3007667$32A73A8E-7761-43B7-A2C7-62344E03F66B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partiality, state and dependent types","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partiality,_state_and_dependent_types"}}}}}