{"entities":{"Q4247265":{"pageid":6276866,"ns":120,"title":"Item:Q4247265","lastrevid":46831704,"modified":"2025-12-25T16:39:04Z","type":"item","id":"Q4247265","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1302023"}},"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":"Q4247265$87CD71F1-679A-4A53-AF2E-035038899740","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"486f0838ce5a497d78d32a1c40ccf32cb392aa12","datavalue":{"value":"0930.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247265$3BADB94F-15B0-4A25-877B-2D21145F952C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"68451847f9ae09f6214e1bf417d7e5aede766367","datavalue":{"value":{"entity-type":"item","numeric-id":4247264,"id":"Q4247264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4247265$A96FF98B-F1C5-48A0-B083-5C80D50D0106","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5bfa12347d4716af416e8493dcfe0d9b94cba5","datavalue":{"value":{"time":"+2000-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4247265$287BADA0-5014-4C8F-AAD2-24CD73AD8550","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247265$37E90ED5-905D-4D08-AE13-B7FB1C916E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247265$35E782C3-8500-42F6-B142-907CB311E30B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9de851fd5c854c4057aeb393cc5179c811dc1dfe","datavalue":{"value":"1302023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4247265$AD2F8D59-CE84-4C38-B90A-C494142B90CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b4edef10612b66f6eed634fbf58b8a7ba51304","datavalue":{"value":"type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247265$BC339FA4-2C89-4002-A4EB-5F8355339961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af4b89f734c9697337223f3538a51faca2ccfaec","datavalue":{"value":"lambda calculi with resources","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247265$063E48BA-9784-4590-B980-7311A33D0AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64823e795cbb1b8396cf292dc1833cf60b888948","datavalue":{"value":"flat operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247265$9E1EBEC3-4867-4E85-BB2F-505A9F0CEBD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940cb896d2a66fbb3a26f32752f8329203e8a303","datavalue":{"value":"deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247265$76780335-4952-47BD-A0C7-D380DDC9C606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"496b5e97dac5d86034552c378931564556bc4635","datavalue":{"value":"divergence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247265$CA2C87E0-F168-4B9F-9CA3-AE3BDD3ED587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"612be38dc6332086efd6d593db6ed42740231e6f","datavalue":{"value":"weakening","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247265$D5EF8948-A43F-4B73-9142-9EACC2CC14AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7fa21ab3af36c7999c45cbd2824c2b834fa0f055","datavalue":{"value":"decorated calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4247265$C0331B47-FA25-4A77-9F2B-2436C18E941E","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":"Q4247265$CCF5C01A-5965-41F3-A2B1-B4EAC941039D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705471f05b92b57333ebb90cf2ff7005aaa9956d","datavalue":{"value":{"entity-type":"item","numeric-id":5756618,"id":"Q5756618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c51a99c0a5b6b5d68c149e041a8f40162da8f94","datavalue":{"value":{"amount":"+0.770189642906189","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":"Q4247265$A9E556DF-3A7A-4FEC-8023-82CAC4D3648F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1d837a84776abb8838b2159d529d454dd0767e","datavalue":{"value":{"entity-type":"item","numeric-id":4704764,"id":"Q4704764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccee30db4f87e8e1e25da7ef966aee6fa1b0ab03","datavalue":{"value":{"amount":"+0.7556985020637512","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":"Q4247265$DBA94861-BAF2-440F-B95A-948E7CDFE056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"450c906cb76dedd6d46764a57932bf7a5ca2af1a","datavalue":{"value":{"entity-type":"item","numeric-id":4635657,"id":"Q4635657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"506dd11ed83d8e8284207f33ae83d9c02af11e26","datavalue":{"value":{"amount":"+0.7448369860649109","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":"Q4247265$759AA972-975D-4832-BDEA-75D727489830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a427cda6a5ce6bbe52dbc17b0c215b61bb5d2e9","datavalue":{"value":{"entity-type":"item","numeric-id":2827445,"id":"Q2827445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59611d197ced0dc29180182a16521821f08b7f52","datavalue":{"value":{"amount":"+0.7436613440513611","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":"Q4247265$877077A7-1F5A-411F-B81B-970311D97E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f45a22afc5a7a77f2420be3307cf556f18dfbc2e","datavalue":{"value":{"entity-type":"item","numeric-id":5878917,"id":"Q5878917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8d3f2452f8f04d530699aa88289aec2668e74c0","datavalue":{"value":{"amount":"+0.7407430410385132","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":"Q4247265$BD3FDB91-5A63-4B7A-B7FF-DE68BB98CA35","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4247265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4247265"}}}}}