{"entities":{"Q1870488":{"pageid":1881230,"ns":120,"title":"Item:Q1870488","lastrevid":48095422,"modified":"2026-01-03T15:14:57Z","type":"item","id":"Q1870488","labels":{"en":{"language":"en","value":"Comparing control constructs by double-barrelled CPS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1909833"}},"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":"Q1870488$14EB7A43-5FE1-44B7-BF13-7907D3E5C333","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d7c1e6f17a82d15b9e8366c2894d525ed76d3136","datavalue":{"value":{"text":"Comparing control constructs by double-barrelled CPS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1870488$D09ADC44-BC6B-4D7B-B3EC-C72D08A2187B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bc6b799937f85888081d2e2d5cdf9b16d91ab419","datavalue":{"value":"1029.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870488$7652BE27-2D2B-4ECF-B473-D19EE957DC46","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17a74034f7bdcd1275e297c7c289197d11a56344","datavalue":{"value":"10.1023/A:1020887011500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870488$41DB8E45-E714-4165-989A-47E94AA470B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e624fd73ff116c5eb47d362d912517eeff5bc33f","datavalue":{"value":{"entity-type":"item","numeric-id":1290328,"id":"Q1290328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870488$B866082B-C1DC-44EC-956C-4CB7AB0E7463","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870488$3F0D59B5-8227-4E19-8FB4-B20A12AB23F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2739d9d5887c2ab5a6b70df0e9f5c64b00eb7649","datavalue":{"value":{"time":"+2003-05-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1870488$A1BF56A5-8865-4CF3-A2FE-5E8F7930C9A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870488$306D4AAD-E5EC-4071-9C30-FC229FCCCD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870488$F117ECCA-574B-43BC-9B0F-4C6DB83F060C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0690cde7e14da57b57f76962b30474a0f3dc199e","datavalue":{"value":"1909833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870488$0EA45A91-288E-4A2C-A9AB-F2E9EFD5FF81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e24821d94cc8c80abb5ca9331a432b22abfec884","datavalue":{"value":"continuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870488$4EC793C0-E14F-432D-A32F-21023A6EC119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216ace9210b8a9445f836b5d7843000108085251","datavalue":{"value":"control operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870488$BB3A5D11-BD86-4ED9-8F8B-1358000D2297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6f27897f440f129cf95ecc67aea4815f892c7e2","datavalue":{"value":"\\(\\mathbf J\\)-operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870488$E88AA8B5-5218-43E1-AB92-9C1B2BFBE450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870488$D6FD183D-DD4F-4D6B-B34C-238DB7557B94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870488$09AAF639-9466-48F7-84C0-2A3FCA326414","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":"Q1870488$4AE0CE37-CF17-4052-9AA4-5C4755C84B3D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2bae326e682646994c6d9e2d2f7b12f61ff48c5f","datavalue":{"value":"https://doi.org/10.1023/a:1020887011500","type":"string"},"datatype":"url"},"type":"statement","id":"Q1870488$2D43F69C-B3F5-4373-B2B3-FF023DCDFE85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"11904c7e0f00b14e0a6496c7fc429aa2329f0fc8","datavalue":{"value":"W1829885432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870488$B971CEAF-00F8-4456-AEE7-D623A92B0BE7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4584b4b8ecd236170bf80bc11cfdb348d2785b09","datavalue":{"value":{"entity-type":"item","numeric-id":4917068,"id":"Q4917068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a17348654232535080e8d91e2967b8d511dc34de","datavalue":{"value":{"amount":"+0.976529896259308","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":"Q1870488$9AAE45A8-70E7-435A-9D3D-9BC23908FA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7920e007c1c0dce93cacc25b43ae82bd41f339ea","datavalue":{"value":{"entity-type":"item","numeric-id":4279251,"id":"Q4279251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef12e45a1f437fce46a8e8afc2df67186510fb7","datavalue":{"value":{"amount":"+0.8023234009742737","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":"Q1870488$1E5E18C4-388D-441B-AABD-0A1DC5AC75F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7e26849003337c0775e942b135d9fb6cafa8e7","datavalue":{"value":{"entity-type":"item","numeric-id":1887170,"id":"Q1887170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89e69939d30693b84f855a1265194dc25962cc5b","datavalue":{"value":{"amount":"+0.7936703562736511","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":"Q1870488$C092C0DD-4173-44A0-A775-2B90C12C421C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8412822ad68aac4c5d21a72f0fb6255d26dd9554","datavalue":{"value":{"entity-type":"item","numeric-id":4357067,"id":"Q4357067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50beecbbdc8bff8fc8e7ee4af4f37d3101ab938a","datavalue":{"value":{"amount":"+0.7908737659454346","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":"Q1870488$06D34BE7-12F6-4706-976E-5955BE39F9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191b7e5ddd8d02f415bcf37cc2555fdea176e4c3","datavalue":{"value":{"entity-type":"item","numeric-id":4917063,"id":"Q4917063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50beecbbdc8bff8fc8e7ee4af4f37d3101ab938a","datavalue":{"value":{"amount":"+0.7908737659454346","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":"Q1870488$ABEA61BB-A9B4-4A18-917A-C13CA3A8073C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1870488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1870488"}}}}}