{"entities":{"Q1152704":{"pageid":1163453,"ns":120,"title":"Item:Q1152704","lastrevid":69749010,"modified":"2026-04-13T09:07:48Z","type":"item","id":"Q1152704","labels":{"en":{"language":"en","value":"Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3722065"}},"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":"Q1152704$3BB11FE1-86BE-473B-9453-42E4A0385150","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"01112e92ba26b923e161957500f574bbbe2b9ab2","datavalue":{"value":{"text":"Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1152704$4B7B0CCB-1241-4DB1-89B9-2E95ECC6644B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61a306ea59fdc912a8ef45fc6ccbebbe4376ab5f","datavalue":{"value":"0461.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1152704$43E206B1-02AB-4DDF-8FEB-6367CEAE5A5D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8eea167da751130e5ef9bca392841a784f5685be","datavalue":{"value":"10.1016/S0304-3975(81)80001-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1152704$DC35888D-7A24-4595-A69B-3CE505EEF168","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$B607FEDA-F609-461E-86A0-8CE62A93E2FF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$C40B4910-168A-4C81-8D0F-2EE814327EA1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1152704$08A81106-ED35-4128-A098-491E6BFAEC4C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1152704$30ECC057-750B-4E03-8BBE-F775C999175B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1152704$30B3753C-D833-4150-AE2E-4948424949F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0f109359113d8ae9cb42d0fb5ec9ca23b32da16","datavalue":{"value":"3722065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1152704$CEA793D0-B45F-468A-AF9C-11945C561C13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1871b7b79c1101bff73fc9bc65a88cdfed48c0fb","datavalue":{"value":"nondeterministic flowchart programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1152704$765348AB-C1F4-4865-A81C-A0E79D96C847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71ffcd080b8a6812ca6b84c24d951f3535846f3a","datavalue":{"value":"recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1152704$69DDCD49-0272-4AF9-8BF2-7D55C463B73D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1152704$57566862-A331-43E3-929C-9BD3F2BF2C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1152704$9F942485-A314-4B50-B11E-78D0B338809C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"649fcf164ef02c33dfa78785726e25d779104d8f","datavalue":{"value":"second-order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1152704$12BA45EE-718A-4E0E-8288-6D17E92DC2B3","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":"Q1152704$035C2B0C-66EE-41B1-AB9A-4D80B156BE22","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f5a6ce1232c90aed250067ac9bc65a7d3e9ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4124296,"id":"Q4124296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$3BDAC474-354D-498C-BCA3-1C69FAC645B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb24666b394a5643ccac9d64db8af04e69c52b7a","datavalue":{"value":{"entity-type":"item","numeric-id":3891741,"id":"Q3891741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$89A08C9B-56CB-4402-8ED9-0A65DBB47D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df755177511a4a382e9fd897da9fe34d7e867ddc","datavalue":{"value":{"entity-type":"item","numeric-id":5679697,"id":"Q5679697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$0B5AB4A2-0CFF-47B7-B24E-8E475178F957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a98d35b307a232a4c7a961285d22ec864173245","datavalue":{"value":{"entity-type":"item","numeric-id":4125720,"id":"Q4125720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$DB1BE6B0-E461-4F11-89E0-3961A6E5325B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6952c964346571cc46d55c2182e9c31b3abf5e35","datavalue":{"value":{"entity-type":"item","numeric-id":1236426,"id":"Q1236426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$5C425E7B-B5C1-48A0-98B0-40E6D777915C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e052dc0eb54a8a79427ec9d552810f9a6de125f","datavalue":{"value":{"entity-type":"item","numeric-id":4113375,"id":"Q4113375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$CE3AB3B6-F301-4428-AEB2-DE675E1FF83E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15d8f82c493ecf71b1895a2fbc262dc6af404064","datavalue":{"value":{"entity-type":"item","numeric-id":5532796,"id":"Q5532796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$BF3170F6-4CE5-4ADA-9095-CB97D7D114FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$D7C8A856-33F9-4A40-BCA2-A6555D99DE80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ce1b9244af2fd65836c07a362e48aa4ea87077a","datavalue":{"value":{"entity-type":"item","numeric-id":4160373,"id":"Q4160373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$9713C559-6E74-442B-A882-7277985D491A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3af2a5d6d90fc35dbcdf27c89fba0731ef592c","datavalue":{"value":{"entity-type":"item","numeric-id":1233308,"id":"Q1233308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$3C217E4E-4C22-45C1-80E7-DBD558E28676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f68caa163eba9a3bc5d65deeb821fdfdc1c908","datavalue":{"value":{"entity-type":"item","numeric-id":4125728,"id":"Q4125728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$B0D4A2FF-E24F-4EDF-8082-C08F0E0F593B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"225005b8f6b53c5944eda0ce3c5ae016826205b2","datavalue":{"value":{"entity-type":"item","numeric-id":5622195,"id":"Q5622195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$91FDD2BC-C3A7-4D14-A2A7-3E5C40FE428C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0c0494e343ccadfed43fe5761af39dbee3392a9","datavalue":{"value":{"entity-type":"item","numeric-id":4160382,"id":"Q4160382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$19B2017E-157C-47CB-B737-D2D7AA083BB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"737561e472c8a58582b346777d30339ff032e05f","datavalue":{"value":{"entity-type":"item","numeric-id":1139368,"id":"Q1139368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$CA92321D-12FF-4227-8593-CBA57C4F9CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$FC4410D7-2D0E-495D-8440-2F511CC7F391","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b4246bf332d45c90c410b55aa43c4af6aee470","datavalue":{"value":{"entity-type":"item","numeric-id":5626277,"id":"Q5626277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$480F931A-DC8E-4A4C-8B35-BB61576649E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28430ed9b4f7a26aeb0f032922db74966365595","datavalue":{"value":{"entity-type":"item","numeric-id":1843170,"id":"Q1843170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$DFE5E3C2-C58E-4954-9923-773621C6B801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$F25449FC-D8D6-43DA-9B44-A5A21E1FEA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9bcd41a0a655569809a1c0f240490166298c56","datavalue":{"value":{"entity-type":"item","numeric-id":4772698,"id":"Q4772698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$84DF3C81-540C-4445-A392-4955D67AC982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9466291634e83e12236234b9e2fd487969707b6","datavalue":{"value":{"entity-type":"item","numeric-id":2545842,"id":"Q2545842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$9E9B114B-DF73-4B56-8DF3-CCC1BBB1D21F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ecd6a95ac70b3920a98b58f6909f94df8490e8a","datavalue":{"value":{"entity-type":"item","numeric-id":2541847,"id":"Q2541847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$2C1D4321-F3BA-45EF-BFEE-63095C0DA0E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79b5e466b1c925a5865453f6a7c6c7fb3f401401","datavalue":{"value":{"entity-type":"item","numeric-id":5606281,"id":"Q5606281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$170DFF14-FE6E-43EE-B9C2-E97331B58FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$17260A09-3065-45AD-BC89-D7367DD8E433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56485b9a4814bcf88c5da509c43cc487af1d7b47","datavalue":{"value":{"entity-type":"item","numeric-id":4144164,"id":"Q4144164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1152704$DF9EC83A-E896-4E8E-8D9A-F72B57910E8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Nondeterministic flowchart programs with recursive procedures: Semantics and correctness. II","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Nondeterministic_flowchart_programs_with_recursive_procedures:_Semantics_and_correctness._II"}}}}}