{"entities":{"Q4525951":{"pageid":6555543,"ns":120,"title":"Item:Q4525951","lastrevid":97265822,"modified":"2026-06-05T13:45:29Z","type":"item","id":"Q4525951","labels":{"en":{"language":"en","value":"A Constructive Logic for Services and Information Flow in Computer Networks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1556407"}},"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":"Q4525951$F60EE4A7-E9F7-4F91-89D5-B4899A6460DE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f42db9046a3c6c9d35665014221a01d25ad8017","datavalue":{"value":{"text":"A Constructive Logic for Services and Information Flow in Computer Networks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4525951$242F2F8D-FD56-4000-908F-0FAEAFB87349","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75d9c85ed52f5307aaba1bc227e4a9bf7ac3cfca","datavalue":{"value":"0967.68153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525951$6D8BD84C-0698-4D6B-B783-D13646A7583C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fed8998192cd7e329be082a4f0b49b6247f2f7df","datavalue":{"value":{"entity-type":"item","numeric-id":1289101,"id":"Q1289101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4525951$461F7077-7572-4B01-A453-7EA8EB467837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"faab845f8da2080018c2a4bb0244a2994559ef51","datavalue":{"value":{"entity-type":"item","numeric-id":169674,"id":"Q169674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4525951$29AF8A4F-E98C-4A02-A797-97F19192B0D6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba9f0a801691b290ffcb9a042b4379a6a2cb49b3","datavalue":{"value":{"entity-type":"item","numeric-id":83484,"id":"Q83484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4525951$E8DD960E-A31A-4A78-BA35-2FF27B1E3EA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cd8aece8f0bf62b09701fb665c60eddb0915aa4","datavalue":{"value":{"time":"+2001-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4525951$7C089D88-DA16-4269-8408-B5F325D87ED5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525951$E3914B78-4868-4A15-8372-3F5499C81129","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525951$9B0A2AF8-95C9-4530-9701-EC97896B54A8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"703808eb02a370fbf8557116d6edbd778a4d2a17","datavalue":{"value":"1556407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525951$D6E3AF86-B951-49B5-93AE-B8D6DCBDFE70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f182e86329a34e1b4cc75d54bcc34cbb69c421c6","datavalue":{"value":"typed \\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525951$490EC6FA-6F63-457D-ACD1-40ED33F530F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"427d3ed79b10968a85fb915f14fb58a72e218c9f","datavalue":{"value":"computer networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q4525951$7C24643D-5C73-480A-8FD3-8C645935E481","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4525951$8320FC5E-1F3F-447A-8163-099323FF394C","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":"Q4525951$A241444B-53A1-4A21-96D2-07470501CEA9","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":"Q4525951$7DE5A43A-5B4B-4F2F-B60D-6C5DD31B26EC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4865f806beef313b1590a61f338119033bbe405e","datavalue":{"value":"https://doi.org/10.1093/comjnl/43.4.274","type":"string"},"datatype":"url"},"type":"statement","id":"Q4525951$DF5EEF42-D597-49CB-9858-4F4D7A952FB9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a15d103dddd917e27613b1fd2389f44fff6297b","datavalue":{"value":"W2139244631","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525951$3242C666-B446-44AB-B8A1-6D8D602509B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ab53469e22c972de2832585f549047fa57bc6a6a","datavalue":{"value":"10.1093/COMJNL/43.4.274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4525951$27F1D371-AFD0-4538-A7E8-71423040E7A0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af4c20699aeb09f6d2f5139ec39c4052fa13571","datavalue":{"value":{"entity-type":"item","numeric-id":4236755,"id":"Q4236755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5277d5b710c2fec6dbee98742ac280cfe94b3dfb","datavalue":{"value":{"amount":"+0.7142460346221924","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":"Q4525951$CEB74E3E-53ED-4E5B-8938-A11846B8A1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90a6bd9f3333a0cb2d7ffabb5730e4061c833614","datavalue":{"value":{"entity-type":"item","numeric-id":4359526,"id":"Q4359526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34c24910cced295df36044e3a4fbf1b4318cf8a","datavalue":{"value":{"amount":"+0.7109004259109497","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":"Q4525951$263A0084-1B23-4EAD-B16B-ACFC9D32F388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d2c38d67b475aa9c2262eeae7da7f1e94ce291a","datavalue":{"value":{"entity-type":"item","numeric-id":4944860,"id":"Q4944860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7237d82619ac637abb6e3a0e319080279eee60b6","datavalue":{"value":{"amount":"+0.7087458968162537","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":"Q4525951$FFB6D72C-DACE-4614-9B9A-450B5C142D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0fd494de96833099f662937937c854534bb5dee","datavalue":{"value":{"entity-type":"item","numeric-id":4436024,"id":"Q4436024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c33290617c23d188183509161e131d76fb8ca141","datavalue":{"value":{"amount":"+0.7087458372116089","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":"Q4525951$E454B527-72E2-49E9-BBFC-3DCDB9897B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0779de0dd9479bf02b8355ba992b804946f5cd3","datavalue":{"value":{"entity-type":"item","numeric-id":3034802,"id":"Q3034802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0412528d265c493be89bbad99813ee267b3f825e","datavalue":{"value":{"amount":"+0.7065097093582153","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":"Q4525951$7B8D618A-D784-4052-9EFF-A464726303FE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Constructive Logic for Services and Information Flow in Computer Networks","badges":[]}}}}}