{"entities":{"Q1333406":{"pageid":1344145,"ns":120,"title":"Item:Q1333406","lastrevid":43036917,"modified":"2025-07-17T03:01:35Z","type":"item","id":"Q1333406","labels":{"en":{"language":"en","value":"Reasoning about dynamically evolving process structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 639147"}},"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":"Q1333406$8D69BD61-34DE-4AC6-AF03-CAB14B1A65FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f70b04902d1429c32a376a89d131609562d09e6","datavalue":{"value":{"text":"Reasoning about dynamically evolving process structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1333406$71B85328-547A-42AB-86BA-CFEA8D79E6F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"274a725b231e1c65464b04f0d45e6ecf933f4195","datavalue":{"value":"0821.68106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333406$B3FA2A3B-F657-4BA1-BE88-842D1BD2146F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0609c6acad62b65be74a5bc3091daccf4670d06b","datavalue":{"value":"10.1007/BF01215408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333406$CD779763-6DE3-4C0F-A7CB-1B6763FD444F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb02b854c2becbd7e95c63a41963369b81b44656","datavalue":{"value":{"entity-type":"item","numeric-id":753942,"id":"Q753942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$2C47716B-9CAA-4F2D-BF97-117747730435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$78BCF06E-7DAE-47F9-AC81-5DB23CA18A45","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$4CC5AF0A-300A-4F34-9B7B-7CB587F36E61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d0748a4d25cfb37a1cacfbead02ac546f0ecda5","datavalue":{"value":{"time":"+1995-09-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1333406$288A1474-0268-4F2E-9330-0948404E2125","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333406$D88E3E96-BE9C-4A6A-9B42-6E5B7DB36F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333406$5707FE1E-9D7F-4426-B964-2E15DDB39EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333406$817CECBB-96B6-4016-BA3A-CF0515CAF5AE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60073ffcad91ba92773c8628d0b0a5198b794c91","datavalue":{"value":"639147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333406$4EE93CD6-B30A-4265-B20E-D03CEBD45AB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93362e023553648aaab72414e1716c418e057aae","datavalue":{"value":"Hoare-style proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333406$317EBFBF-217F-47AB-B970-56F68B00E31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333406$6AAE6461-429A-4228-B416-81C5E5ADEFFF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322a7fd2a2215f887a0cc889fa3e27a0703da0bb","datavalue":{"value":{"entity-type":"item","numeric-id":14267,"id":"Q14267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$3935090B-AB79-4E03-AF44-69B8B51FBB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a0292a334cfc9946d990e370c442c475973c3701","datavalue":{"value":{"entity-type":"item","numeric-id":16053,"id":"Q16053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$316F5C11-38DA-48D7-B0E0-C8BE9AC2E0FD","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":"Q1333406$1565F675-8C95-45A9-84D5-BDA8E0FB7524","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"69aa9e100c0e3e2f63d67ab0234724f0c2f66211","datavalue":{"value":{"entity-type":"item","numeric-id":909434,"id":"Q909434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$54ADE9FE-4C0B-404A-ADA0-DCB9F8F3888E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0da9d892738f38040ee4c5d7ca36e0e15e08c4e7","datavalue":{"value":{"entity-type":"item","numeric-id":910250,"id":"Q910250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$874D41B3-DB84-436E-A36B-2E38F1871A73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ec3996c14b206674e33c3ff3678191b3d324529","datavalue":{"value":{"entity-type":"item","numeric-id":3922144,"id":"Q3922144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$6CE5D9A7-F4B4-48A0-8E40-25F828E9D246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$EB0C09AA-8E60-4870-9457-FC407ADD8CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0caa445425764e7875fe94e1cdad65b198ea16f3","datavalue":{"value":{"entity-type":"item","numeric-id":3969859,"id":"Q3969859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$F0BC844B-12F8-45A7-8AC4-06EB75C9404E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$6DAC5E33-6251-4F3C-9084-0FAAE9533C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a502a770025bb9705f462b1132920965df52f670","datavalue":{"value":{"entity-type":"item","numeric-id":3667910,"id":"Q3667910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$082E71BB-D9FB-4A05-BDA9-710C56649007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$F0719CEF-59C2-4F3D-825C-065D84577408","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":"Q1333406$AA9504BE-72D7-4A2B-A695-70B682299875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d350b31b5fb246ed5c7b241605407ba60285bcd4","datavalue":{"value":{"entity-type":"item","numeric-id":808281,"id":"Q808281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$E9AB6DA2-5060-4710-989D-4CC152F19B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5f2519b5078bb9eb21d8c9f7fcd15b55f367e22","datavalue":{"value":{"entity-type":"item","numeric-id":3998221,"id":"Q3998221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$4D86661F-FB85-4C4E-A0E4-4FEB55850C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"110ed67720fe603992088cf207d619f609c16293","datavalue":{"value":{"entity-type":"item","numeric-id":4039815,"id":"Q4039815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$02FB63FD-CFD1-43CD-A25F-9FD09055CEB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a98806b17c2bbcd29d4513072d41db9b6317d23","datavalue":{"value":{"entity-type":"item","numeric-id":3681905,"id":"Q3681905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333406$0246F450-65B5-4640-A734-416F53918C1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1333406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1333406"}}}}}