{"entities":{"Q2378283":{"pageid":2389026,"ns":120,"title":"Item:Q2378283","lastrevid":50533880,"modified":"2026-01-14T07:53:53Z","type":"item","id":"Q2378283","labels":{"en":{"language":"en","value":"Operational semantics of Framed Tempura"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5486411"}},"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":"Q2378283$CD580997-6ED1-4982-B7C8-036D86605C3A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66cf70c96edaa77cd91d37ee0e326a9082a1a982","datavalue":{"value":{"text":"Operational semantics of Framed Tempura","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2378283$17BDB172-A7AF-489D-8D4E-735F5EF41427","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c21c33cfd5544b62a45c8349cd37b646e5555326","datavalue":{"value":"1170.68006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378283$4C491793-6EE1-4D9C-A041-C64BE29B0912","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c7593f574ea128cf94ee0991f4586716cfb90c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1787787,"id":"Q1787787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$2854A274-DA94-4B1B-A08A-9518803D8D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$17A3A361-0085-441A-B7C1-85FFD6D91199","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$F1E46629-2226-47EE-B558-3AF76CDDEED2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d55a0bf8b3b64224045ad841b57d4f9669a829de","datavalue":{"value":{"time":"+2009-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2378283$3E013B34-9C8F-442C-816B-CDB33B585221","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378283$8B7C1827-48B6-4011-B8E0-37DDCC2D9C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378283$AB7249D3-6A78-48F7-99BC-16EB8FB6277C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b75c4863a7d6040c8623ba0cc806d25995781cf5","datavalue":{"value":"5486411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378283$71C5E5F2-8AAB-4EE9-9C64-EF0F668B6EEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c42c3187d81ec934fd1a13398ef45837e4e0d2f","datavalue":{"value":"temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378283$2447F75C-25DB-4D53-9B25-6371AEB4C96A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b9043c7a4b3d72754e6297ab4230a16aefcc687","datavalue":{"value":"nonmonotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378283$E96E932C-F0D3-42D4-982D-2D9F2DBDFA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a75cd8f33187a112545b10752b14195d8c4c0169","datavalue":{"value":"minimal model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378283$E52E8FC2-AC57-4F33-9C6B-24099664605B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378283$9A7895B3-34AB-41C1-8744-2C9F413ACDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52c2513afc8941299b07e63a5555cd1e7cb85f4a","datavalue":{"value":"consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2378283$EFC225D2-D8E1-45AF-8EC4-A9AC97C3272A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f03ad14f8565d93112bf50bde5012e75c18a3f","datavalue":{"value":{"entity-type":"item","numeric-id":15444,"id":"Q15444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$9CE3F78C-402B-4E14-BA65-2DCE7835F218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f70d300d184d2214c5f3fd1a77a24a9291c84ca4","datavalue":{"value":{"entity-type":"item","numeric-id":18660,"id":"Q18660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$5D72A032-F6AD-4CC1-8C28-33351465FC32","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":"Q2378283$52A9278D-8E1D-4170-8732-875AF7994982","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"472eb0a8c1962d54fe4c5a43d3598e7f3d9dfddf","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2008.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q2378283$BEEEAF62-C63F-4B01-BC4D-6F733A0804A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c076363f21260d4a90efae4858fd0b673f2ae81e","datavalue":{"value":"W2036750908","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378283$15E778E5-4BFD-4D8D-A45E-40DE5C30E001","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6f503f40624c3a67fde02595febb3d31b13ecd","datavalue":{"value":{"entity-type":"item","numeric-id":582280,"id":"Q582280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$BB343CED-2C2A-4BFC-90F8-987EA894DAF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e320d5ab20d9378e83c08a862b63bf2725892d4a","datavalue":{"value":{"entity-type":"item","numeric-id":2653567,"id":"Q2653567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$9626A66B-70CF-404E-B77A-FBDA975173E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"004642c985382b5c70e78b542aebcb6240614609","datavalue":{"value":{"entity-type":"item","numeric-id":4162644,"id":"Q4162644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$FA69747E-028F-40FD-8912-9A2D3A2D1FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$BA1762A6-10A6-4272-AFFF-13621E0A6979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$4E16861A-B84F-4B69-8688-14468886AA67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$91425F85-6E09-4DE9-8584-ABA3B023D1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc474b97bf58673fb5d3311c2f358b1d99bb6b18","datavalue":{"value":{"entity-type":"item","numeric-id":808685,"id":"Q808685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$8C0333BB-5491-4A04-B956-DD8CE38776E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d662deea76f1f0e44091a8cecd51bf648c780b7a","datavalue":{"value":{"entity-type":"item","numeric-id":1904643,"id":"Q1904643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$55293A85-B0DC-45EC-8F9B-DEB2E1A38B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7606c781d6ad406039c8c58640d224c00121f984","datavalue":{"value":{"entity-type":"item","numeric-id":1128978,"id":"Q1128978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$8EEFB0B4-3CFD-4D94-8096-53FD60804668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d676b0dfd5f3d559143be18abf36a871608ef2a","datavalue":{"value":{"entity-type":"item","numeric-id":679336,"id":"Q679336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$48BA7702-6096-441B-B529-1084281898A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83f8ec113eaf5868a07f1d428489aef79179687","datavalue":{"value":{"entity-type":"item","numeric-id":4719299,"id":"Q4719299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$A07C8D99-38B5-462E-B667-58CE1C028331","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccf02e74786a2c5f7ea2dabcf2ee15c3dc85ab8e","datavalue":{"value":{"entity-type":"item","numeric-id":2469157,"id":"Q2469157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$F6F9D265-963A-4CB8-9EFD-92CA3FBFC7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577e3641f90f6b5131804b8b399cede965764273","datavalue":{"value":{"entity-type":"item","numeric-id":5475789,"id":"Q5475789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$887CB206-46B1-4CD4-8B72-B80F94C8D819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e4e4365ab3617f49a82656c2f347e9995151467","datavalue":{"value":{"entity-type":"item","numeric-id":4296748,"id":"Q4296748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$89483486-260C-4924-B441-2362E326F59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9534f21f1fded90e3f416b9c25fd1ea741fb2d6c","datavalue":{"value":{"entity-type":"item","numeric-id":5448808,"id":"Q5448808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$FAE9116C-E36A-4418-8534-FD02DF004B58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$A67B459B-2A97-4510-9E8B-0506A43EA78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80ce4b80471340cb55a693292be4e006b860c889","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$AC7356DD-8DB4-4129-9DB9-FD35D66C9692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$3162B16B-6052-4019-A8BF-1879C94501CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$E0EC8AB1-E86D-483C-AB06-CEA036003CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcfe641e675f6e9ffbc7108a3cdb6aa9e8af4b57","datavalue":{"value":{"entity-type":"item","numeric-id":3812209,"id":"Q3812209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$9822CB5E-23DB-4980-AA7D-691053AE13AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$03D102C4-1330-4CA3-8E7D-FB5711937AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac8b95fc49a76dd8bbb2369f4de406bfa97dab88","datavalue":{"value":{"entity-type":"item","numeric-id":3729994,"id":"Q3729994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$E413EB8A-828B-45ED-BA2B-DE34A7BE6011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$C7691176-6723-4863-955C-F19450EE157D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b49e8dcf1b539ea7ea4222ac4e0fa9ec42e814","datavalue":{"value":{"entity-type":"item","numeric-id":753476,"id":"Q753476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2378283$A43A17EE-01E4-480B-8702-5EB1056801C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eb4795dd0b50bd98b4330ba5533999cd1073ea35","datavalue":{"value":"10.1016/J.JLAP.2008.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2378283$A7BE245E-E695-4811-9E68-941A12261D0D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af43d4b1a5fb221301552864c701733ee384587e","datavalue":{"value":{"entity-type":"item","numeric-id":5448808,"id":"Q5448808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a350e96067be11015b79cd05a91e9e39103b5e31","datavalue":{"value":{"amount":"+0.9684659838676452","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":"Q2378283$D8357519-69C1-46C8-8C25-2896126D3F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03c7a029981e62d2e0259a248fe31471b88ebf54","datavalue":{"value":{"entity-type":"item","numeric-id":5475789,"id":"Q5475789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e30c12f9df2bd2052cdf039a97cf998dfba680e7","datavalue":{"value":{"amount":"+0.8195705413818359","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":"Q2378283$CF717617-C530-400D-B193-50BE513DABDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88fa77839ef225ec1e4292ef3cf0b7f8e7d93832","datavalue":{"value":{"entity-type":"item","numeric-id":2469157,"id":"Q2469157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4d08a1d625cee55f6ae5aee95bab1894b1af377","datavalue":{"value":{"amount":"+0.7945674657821655","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":"Q2378283$59B4AE61-C8F8-4E44-87B4-DE80854B18DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c386be788eaf0f6449ebf2c0ed525de082408b7","datavalue":{"value":{"entity-type":"item","numeric-id":3806791,"id":"Q3806791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48c1d5fec51cc90c8560accc77d226885ca1c772","datavalue":{"value":{"amount":"+0.7629159092903137","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":"Q2378283$EF9D0D7B-F391-4A81-AC12-692D810F5085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"951ed91a008acda6c420f71bdfa83dae0b73cb61","datavalue":{"value":{"entity-type":"item","numeric-id":3680239,"id":"Q3680239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"495f421341c76b59e5696c30a31245e395b6ecc2","datavalue":{"value":{"amount":"+0.7596239447593689","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":"Q2378283$B715C940-55E7-459E-8172-0E627F095DF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2378283","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2378283"}}}}}