{"entities":{"Q1085154":{"pageid":1095906,"ns":120,"title":"Item:Q1085154","lastrevid":66883839,"modified":"2026-04-12T13:30:31Z","type":"item","id":"Q1085154","labels":{"en":{"language":"en","value":"``During'' cannot be expressed by ``after''"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3981155"}},"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":"Q1085154$47183C88-B4DB-4C22-B937-E3EC6BDF2765","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28311d7d1d201076b19b28f39ce24e8309c966c2","datavalue":{"value":{"text":"``During'' cannot be expressed by ``after''","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1085154$3C355AF6-A0D6-4350-B985-9E1EC4E510E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adad87d3088a08eede5b39908d72d8f4a7b5733c","datavalue":{"value":"0607.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085154$346E93D3-40FD-4D4F-A3ED-F66625D30476","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1e8d549b1c474c579ffcca5e1c5346edea7b438","datavalue":{"value":"10.1016/0022-0000(86)90005-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085154$D0A5113E-520E-442D-8C08-79A9777B069D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e27ee549e3862dd1e883829fc71d54217245973b","datavalue":{"value":{"entity-type":"item","numeric-id":332079,"id":"Q332079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085154$72528F49-16DD-44F4-AB61-CE606AAAEA28","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085154$30007D58-6BA6-49B2-BA84-1719DC09101B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1085154$C6473414-3DC0-4F8F-A2D4-68B8939054F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6a2bde5b3650f0c48202826ea6d53cceda49cd04","datavalue":{"value":"Classes of flowcharts and tree schemes (generally nondeterministic) and programming logics over them using three temporal operators in addition to the standard \\(<P>\\alpha\\) (''after'') are compared. The three new ones are ''throughout'' (''during'') - \\(\\alpha\\) holds in any (some) state in every computation of P, and ''preserves'' - if \\(\\alpha\\) holds in some state in a computation of P, it holds in all subsequent states.    While in the deterministic case, none of these increases the power of the corresponding logic, in the nondeterministic case this is no more true for ''during''. This operator can be however expressed by means of array assignments or rich tests.    At least one of the proofs of the paper is not customary for the dynamic logic area applying the theory of computational complexity: The assumption that a tree scheme without ''during'' can recognize the set of bit strings with even number of 1's contradicts a result concerning Boolean circuit complexity.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085154$2BA85D82-6E47-4623-94FF-73FB5B5AA350","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085154$857D1F6D-BB29-4479-8714-E07C96608E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085154$E58AB233-EC2E-484B-BA7F-A4B0135CAA68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085154$C4E8E298-6832-4C56-8F36-A4C938B63B80","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"66aca76e8ede6a0e3f46564c8e3f06a5d86ca90e","datavalue":{"value":"3981155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1085154$A266E524-96ED-45C9-9A6B-378616A5D2AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085154$26F09CA9-99EE-4C99-ABFD-11AB97CCA325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8716d6197a9642b071041ee48858adff185b19a","datavalue":{"value":"flowcharts","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085154$FE3EB6BC-2D7B-4D46-8B62-531479BB93FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22e46d5b7701968dbe67298e847b85adbba0ccdd","datavalue":{"value":"tree schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085154$18B4EEBC-EC39-44DF-8A99-6DAB12FF65B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"284d49bede33bc43198f9780c2fcc998d14125e1","datavalue":{"value":"temporal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085154$69653CE5-0630-4623-976C-A211146ED171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0cf7cdf25c83deda1a75f690dc1773ed3c80f66","datavalue":{"value":"array assignments","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085154$1D81AF0D-920B-4FEA-BAA2-9B15FC581B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcb9d75d3c42bad259494244e4548312e58c7889","datavalue":{"value":"rich tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085154$ABA0B1EB-E344-4525-83FF-A98DFD3F295E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e5add04c87a634dc505636ede1198ff73b02459","datavalue":{"value":"Boolean circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1085154$ACEBC933-403A-4520-A130-D496027339D2","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"83a95c6517653706589ad79fe663813037103c91","datavalue":{"value":{"entity-type":"item","numeric-id":756439,"id":"Q756439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085154$9D08D685-01D9-49A5-A8D2-2266E599EF93","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":"Q1085154$DC1844FE-F996-4DB5-8181-EAEFF036ACDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e39951d487d3bf563c62341ed381ea5be4f484","datavalue":{"value":{"entity-type":"item","numeric-id":3318683,"id":"Q3318683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085154$6AD9F5E2-9388-46C9-82AD-B8AEA5DB3780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49bedc120937d2ca2c0da20fbb588f395782764","datavalue":{"value":{"entity-type":"item","numeric-id":3318101,"id":"Q3318101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085154$224D0536-402C-453C-B50C-88B5AAA66C84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322b6f1a81d5899d0a8b85dffae86812b3ca5836","datavalue":{"value":{"entity-type":"item","numeric-id":1171876,"id":"Q1171876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085154$43B2B8A4-F7E9-4D4B-BF18-2AC242D90911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b90cc3efc6ff30de2c7ce0a376179d4c3541ae","datavalue":{"value":{"entity-type":"item","numeric-id":1158140,"id":"Q1158140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085154$6115B68E-18CB-4908-A0D7-BA3312226F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc93f1905aca30772b1662792642b6ffa5f1eaf7","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085154$F8472C8F-483E-4CAC-85E6-EC56D5C6E5E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3de510ed3fd05142f0bf32ec55ad85ebc17090f2","datavalue":{"value":{"entity-type":"item","numeric-id":1161284,"id":"Q1161284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085154$8BD62CAB-7A2B-4459-A2F9-823F1BD28E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d80012668d9f59c265c40ae0745be3ec34ccb5","datavalue":{"value":{"entity-type":"item","numeric-id":3735690,"id":"Q3735690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085154$2E851479-9796-407B-932A-72414FE23FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b8e7ce7ba49e55329487a7eb0ac790949d49fa5","datavalue":{"value":{"entity-type":"item","numeric-id":3871917,"id":"Q3871917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085154$C8DD1190-BCDB-4A7E-9DDB-2C723192628F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df4477667d1e832c2b258226b966cf6180b37911","datavalue":{"value":{"entity-type":"item","numeric-id":1106839,"id":"Q1106839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1085154$6AC05720-17F4-48CE-80E4-5BA03E5D5155","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e57a36136d6f8f17b162115ae0b94979f3b84586","datavalue":{"value":{"entity-type":"item","numeric-id":3735690,"id":"Q3735690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4fbb22cbc5fcc21b3214bd4ae2c7ccb9d4a16b","datavalue":{"value":{"amount":"+0.7220739722251892","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":"Q1085154$17CCE11B-F6C4-4A84-805D-4B63386DAF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a8423c3d267eec031c12e5b2660d82a966d046","datavalue":{"value":{"entity-type":"item","numeric-id":800722,"id":"Q800722"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555404cdbc1e32ecef1253ee0b07e879ffbc9f6a","datavalue":{"value":{"amount":"+0.7193361520767212","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":"Q1085154$D8334A7C-DC5F-4CA9-942C-AC7A86E6E4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4fa325559e7d94f23c6dcb38230015c6d70deac","datavalue":{"value":{"amount":"+0.7190532684326172","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":"Q1085154$83B9AFF2-58E0-44E3-B655-A53EBD87F463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc03231c8b2da69323dec19dd32ea7016e52a15","datavalue":{"value":{"entity-type":"item","numeric-id":3975138,"id":"Q3975138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a99f3cbd58a8478695692d83f97036349593b8","datavalue":{"value":{"amount":"+0.7168976068496704","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":"Q1085154$5F23395E-D709-4553-8A15-6C947C943311","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e63e136a3f99c164e16dc4b22d6c6e40b53b4bba","datavalue":{"value":{"entity-type":"item","numeric-id":3318101,"id":"Q3318101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b3d31b94e671294ce3944601e8769db8b37d3a","datavalue":{"value":{"amount":"+0.7162286043167114","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":"Q1085154$43B1FCB8-FE13-4E8C-80FB-B666AE663027","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"``During'' cannot be expressed by ``after''","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/%60%60During%27%27_cannot_be_expressed_by_%60%60after%27%27"}}}}}