{"entities":{"Q3444658":{"pageid":5155778,"ns":120,"title":"Item:Q3444658","lastrevid":50109959,"modified":"2026-01-13T04:09:34Z","type":"item","id":"Q3444658","labels":{"en":{"language":"en","value":"An object-oriented calculus with term constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5161061"}},"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":"Q3444658$38B648E5-C7DD-4DC5-BB0E-196572FE096B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a990bf042504d02c13776382380924cd4d0e1c0f","datavalue":{"value":{"text":"An object-oriented calculus with term constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3444658$ECE3BDC8-C5F6-4317-8993-D09B01BABC03","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6333f7713c546d16f8f0c9ea0d5541da37625376","datavalue":{"value":"1118.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444658$F582AF51-B7B4-4FF0-A57C-940701BCD50C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f2e83a7ba823767704c7396b0703f9822abc6d25","datavalue":{"value":"10.1017/S0956796806006174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444658$DFD8AF8C-E475-4961-8EC8-C7032B29655C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"403b63eec33113067f22a9085f7e949a7c11facc","datavalue":{"value":{"entity-type":"item","numeric-id":3444657,"id":"Q3444657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3444658$821B4F96-BD42-4685-AB52-5CA900FBFC5E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3444658$8104A162-8E49-41F8-A5C7-E098A9C7B280","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36245292ed3f481a9afbac2e0b7b7fcb988329ca","datavalue":{"value":{"time":"+2007-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3444658$6A7DA5A6-458E-4E46-9F8F-12315EFFAF12","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444658$E0AF3BDE-4156-4ECB-B3A0-98622139A7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444658$EC409548-9B22-4E24-A122-3C47198A7CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444658$7B01CB0B-7697-408A-A6A7-475DFD161368","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31ec3b46db9d955abd8c747d7f2ec506ad64c7b7","datavalue":{"value":"5161061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444658$E34231B7-20C9-4B8B-AF3B-FA9ABE5CF84B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q3444658$56BF2369-B2E7-4E69-B631-08B17E35A501","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c9843fc7496fa29ee5ab682bc818d0445062a91","datavalue":{"value":"Castagna's \\(\\lambda\\)\\&-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3444658$CAFD0DA6-0FD3-4435-8C8C-DB9000FE19EF","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":"Q3444658$B8AF60DC-9968-4CF0-B53B-7D17A83E2F04","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af8f14c06993e7e1c14fb46ae25bbc6964977102","datavalue":{"value":"https://doi.org/10.1017/s0956796806006174","type":"string"},"datatype":"url"},"type":"statement","id":"Q3444658$0123C523-51B6-4FC8-87BA-1D64EA7BEF8B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a57002707bcf8b5e3cda2466d44f0459989e081f","datavalue":{"value":"W2067350102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3444658$489D0BC5-E362-4D6F-869A-FAE174A2BDD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca22c1adfff77b7f0bd1e513b1d473c1577dd00","datavalue":{"value":{"entity-type":"item","numeric-id":4223023,"id":"Q4223023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc6e5a3f147b293297804980f17e7411de4b8836","datavalue":{"value":{"amount":"+0.7211778163909912","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":"Q3444658$AB2F5567-6509-45FD-B78E-63992380C9AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"605fd9bd91512b3b2f20c0a7b93272a5c6b54e5c","datavalue":{"value":{"entity-type":"item","numeric-id":6162111,"id":"Q6162111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665dff879143b0b5b2d52f28b2918147f00a7317","datavalue":{"value":{"amount":"+0.7211465239524841","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":"Q3444658$0FCBCC24-E4B0-49C6-BD89-24E0F442D915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84fc8c5cab33d2083d03117616f62443327cb0c","datavalue":{"value":{"entity-type":"item","numeric-id":5096750,"id":"Q5096750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3cdb4ab2dc04eb261e63eaf61028b70d7c89e88","datavalue":{"value":{"amount":"+0.7201270461082458","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":"Q3444658$CFFE6A5D-D752-4667-8CD0-BC2BBB725837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0177c87208286f047e31c01698fdbd7e64c5232d","datavalue":{"value":{"entity-type":"item","numeric-id":854169,"id":"Q854169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c6646e2af3e2196c01327c183e4491f73457df","datavalue":{"value":{"amount":"+0.7189248204231262","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":"Q3444658$462E5354-071D-4F4A-B54C-EBC85253B40A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ba9fd087b4ae6e1e74aa276b8f0478d6c446ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4261073,"id":"Q4261073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01d0e6544a4d2fa930e64fe8c46d32a7d59cd94f","datavalue":{"value":{"amount":"+0.7096083164215088","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":"Q3444658$E8518833-F875-44D3-9BD6-3495B0384935","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3444658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3444658"}}}}}