{"entities":{"Q1161276":{"pageid":1172025,"ns":120,"title":"Item:Q1161276","lastrevid":42923161,"modified":"2025-07-16T01:49:57Z","type":"item","id":"Q1161276","labels":{"en":{"language":"en","value":"Adequacy properties of path programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3752191"}},"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":"Q1161276$786F53D3-4036-4DB3-8195-8F2D1487C050","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d44a86b52ffeedee7a4e5620fdbe5b9fdf478888","datavalue":{"value":{"text":"Adequacy properties of path programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1161276$38075AE2-F621-4833-B20E-AED794DA4F9D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5891b501ba23e21828ebd8973a6b5a7d9a6a7c16","datavalue":{"value":"0478.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161276$33B5F8F8-72FD-4D4C-AAD1-27BF638A9A1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f03097fce5334c96906d34598d2638a40374cbd3","datavalue":{"value":"10.1016/0304-3975(82)90020-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161276$ED8F87EE-595F-48FD-99DD-26D6F46FA965","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":"Q1161276$513EC388-B128-417F-A603-9B96B60903A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q1161276$5C018BAF-8A88-4D9A-9B9E-15D2705ACDAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161276$56202535-0366-4A77-B6A8-622A7868AF0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161276$A3C96E71-DA4C-4FAE-93D1-1D374B4B6135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161276$DA2D44CE-53F6-4D59-A412-7D6960E7EB35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8f1a5e63188618dbb05d2cd7329df92f151dcdd","datavalue":{"value":"3752191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161276$072E9401-DA09-439C-8DFA-CAAC3503C543","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161276$FE8C03B8-30AC-4094-A228-53AF1E102265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161276$373CC698-1399-48AB-880B-70B89EA2D5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f417f7ba8c83ba925c9af9be6bd10f463ffa9df2","datavalue":{"value":"path notation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161276$5C030D4A-589E-4A96-AB46-55859AAEEC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fe1cf5a1244e57f9e391ed1f42396961888561","datavalue":{"value":"partial deadlock","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161276$6017E1F6-AB50-4E9B-AF37-B68E028EB15B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32ef830f7ee69d29b52255f3c73e273feecbe872","datavalue":{"value":"PT-nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1161276$7754AEA3-DC1D-487D-A7B6-471B45B48951","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4c9bd5e841d4bab29501a8da2aade8a8cab81a9","datavalue":{"value":{"entity-type":"item","numeric-id":218983,"id":"Q218983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161276$71AA3948-B47F-4E6E-A0E1-929C00244120","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2e8aa945d2b284d7eec497cdd61e80c0fb5cd405","datavalue":{"value":{"entity-type":"item","numeric-id":42208,"id":"Q42208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161276$380B48D3-8A4F-4497-9BE2-4B67DAF9AA67","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":"Q1161276$A681208A-BFA6-4F23-B745-32064720947B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"142e3d3a264601bb50a8f61753b8c86fbe7136fb","datavalue":{"value":"https://doi.org/10.1016/0304-3975(82)90020-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1161276$2D4B9DE6-4E84-45DA-971D-EFE96130B96F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"449ce780aebaffbf5eb1998c6aff4206939fc705","datavalue":{"value":"W2092331318","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1161276$3605012F-3B75-40AC-B132-0F5CABAA596F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2c71fe1368f04344997a78a1161ab1b00ec38fa","datavalue":{"value":{"entity-type":"item","numeric-id":1161276,"id":"Q1161276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161276$D91FB0C5-F04A-4C00-8CFD-6DE28B975228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42fda785ba06a1c78c3b1fa3da035e72d736ecb8","datavalue":{"value":{"entity-type":"item","numeric-id":4048566,"id":"Q4048566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161276$43AF5E6C-E322-4B4C-A2AE-2D80E46F3A1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"438f865e79e7c057327ed465f59a2a7623186357","datavalue":{"value":{"entity-type":"item","numeric-id":2554953,"id":"Q2554953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161276$6A0A75D6-CD5F-48D1-A490-6150C2476F96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1814ced7469e4bd1b261c47dda2e7775cf5c68c1","datavalue":{"value":{"entity-type":"item","numeric-id":3902494,"id":"Q3902494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161276$DE22BAC6-CFD0-44D5-AED3-4F1451B39252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"088800a898300d8e519852be9ef848bf66d8187a","datavalue":{"value":{"entity-type":"item","numeric-id":1219678,"id":"Q1219678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161276$10BDFF96-6D2B-4474-9E8E-C3874F68DF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c79ef3c9e254603dc3bf50f004c36871a9c3ec0","datavalue":{"value":{"entity-type":"item","numeric-id":4167546,"id":"Q4167546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161276$6335C1C4-5F56-442C-9308-89D457C86A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9c80cab7bb176b8fcc92e4587f803f93588cc25","datavalue":{"value":{"entity-type":"item","numeric-id":3899505,"id":"Q3899505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161276$02E848B5-2649-48C8-9D25-333DCAAF9E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edc05c8251052835015cae86712b180ed9382b0a","datavalue":{"value":{"entity-type":"item","numeric-id":1256313,"id":"Q1256313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161276$8CD26944-50B5-4FA5-AE7F-4B6FC32AA385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2d5dd2ea6e934c488ff6606e63dba48446e71df","datavalue":{"value":{"entity-type":"item","numeric-id":4133144,"id":"Q4133144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161276$7843AA74-5986-441D-BE81-24E292965E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"820df72bf1c15f32d5787d80349cbcd5a7575797","datavalue":{"value":{"entity-type":"item","numeric-id":3867194,"id":"Q3867194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1161276$F1E03198-6F76-433F-A8CB-C0E287352EEE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1161276","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1161276"}}}}}