{"entities":{"Q5756774":{"pageid":7786325,"ns":120,"title":"Item:Q5756774","lastrevid":50158169,"modified":"2026-01-13T07:25:46Z","type":"item","id":"Q5756774","labels":{"en":{"language":"en","value":"Interpretation of Locales in Isabelle: Theories and Proof Contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187455"}},"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":"Q5756774$DE466540-94DC-4A92-B8E9-7E1C54CA9AB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc423f7e6235dbf4e26fad2bb5ca8f1807ebcb3b","datavalue":{"value":{"text":"Interpretation of Locales in Isabelle: Theories and Proof Contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5756774$A42E5AF4-511D-44B3-A384-E7B178FCC670","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9149e800fd6c6f8251f28cbabc2cb8f871e689e1","datavalue":{"value":"1188.68258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756774$21920117-0A5C-4FA1-9ACC-5C8BA8883492","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dbc8fe103cdb93a6a422e6a109b7efc7a7d21787","datavalue":{"value":"10.1007/11812289_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756774$805E00F6-A7FC-4134-98FB-353B8BDC1C2C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f597a37daf8add8e5ca5ed6483cea4cb6a2d651","datavalue":{"value":{"entity-type":"item","numeric-id":928665,"id":"Q928665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756774$791347BD-B75B-4AF0-ADDB-525144382991","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":"Q5756774$DB5B08E6-F677-4FB7-B72C-6825CF42951C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86270c54a1750ab04e947a6e47c89ac1ca7458cb","datavalue":{"value":{"time":"+2007-09-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5756774$C7CD72C7-3833-4F5A-8BA0-D34F124ED27E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756774$88D73E8B-EC16-41DD-AF7D-252EAB4F8E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4de811363544ad897611eca6bf9cd29d53afc249","datavalue":{"value":"06D22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756774$50D7AF51-DD87-4EA2-9065-384DE50CBB51","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"979fde336b88795c9b38610fa734cb18b4acd6e7","datavalue":{"value":"5187455","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756774$400ACBC6-5AB7-4769-9130-589EFC4380F3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756774$A0AA9DDF-E416-4534-A77F-D37884FF21AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"01712194c207617871fd4fb99ad1e9fcc6e71eb8","datavalue":{"value":{"entity-type":"item","numeric-id":15955,"id":"Q15955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756774$61671FF9-0019-411B-981B-F2C27C58DC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756774$4A3A6812-39E4-4783-A303-3BB1D2A499DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5756774$8F1AAD18-3919-4F4D-B307-6D7A8B93E1A9","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":"Q5756774$C9BF3FEC-B391-469D-93F7-2CEB39459466","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b20963703aaa9ba82d3cf56a3ecc982d6a7141ad","datavalue":{"value":"https://doi.org/10.1007/11812289_4","type":"string"},"datatype":"url"},"type":"statement","id":"Q5756774$F5CE449E-A9E4-49F5-AE9C-1E70358050AB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc3015149e019e2362f1c81d8ecfd4aead03cf10","datavalue":{"value":"W1532290481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5756774$D3937CC2-591D-4FF1-8057-3BD93D8B6A03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de7c1a54ab27e12e93b5f88592fad38e53df67ad","datavalue":{"value":{"entity-type":"item","numeric-id":3638251,"id":"Q3638251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9574d3f1b6b43ec63fbd11fa7d2d4f46cb6c5c38","datavalue":{"value":{"amount":"+0.8494884371757507","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":"Q5756774$E2E90B4A-1F63-4F12-BA04-AC452C8DABB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fd24b865f4828fab0e58deff453e0d79e3a445","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03ed87b6f2e58669cfd0ceedeaf8f869a96c848d","datavalue":{"value":{"amount":"+0.8311392664909363","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":"Q5756774$6E60F4F3-A098-4809-AC4E-3B2B6B7E8FA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2facb9784a7170c9a092f64762e607a4c929eafe","datavalue":{"value":{"entity-type":"item","numeric-id":3062061,"id":"Q3062061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daf7b3cbe5aa6d418c1c42bf68b8e140fc98112c","datavalue":{"value":{"amount":"+0.8114617466926575","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":"Q5756774$3820C4C7-0866-4CF7-BD17-48D19BE59298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef914c5d16ae991870856bd539a5283395a477b7","datavalue":{"value":{"entity-type":"item","numeric-id":3543647,"id":"Q3543647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"198b0ddeaf17c9e05a9a554925ec393ddf09a9fd","datavalue":{"value":{"amount":"+0.7893834710121155","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":"Q5756774$7330803A-F0AD-45AA-9394-5FBD3C116E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5adebce8da741bcd5685a837c61ec3dbc058bc7","datavalue":{"value":{"entity-type":"item","numeric-id":2352487,"id":"Q2352487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1ccb5b39f098292fdc034f700739b6b310a9083","datavalue":{"value":{"amount":"+0.7785795331001282","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":"Q5756774$33884620-275F-49C0-8CBF-0A93131A21E9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5756774","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5756774"}}}}}