{"entities":{"Q1891157":{"pageid":1901899,"ns":120,"title":"Item:Q1891157","lastrevid":71075646,"modified":"2026-04-13T19:19:12Z","type":"item","id":"Q1891157","labels":{"en":{"language":"en","value":"A structural induction theorem for processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 758671"}},"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":"Q1891157$C2568656-C5F3-4FC1-8ED4-0678B1FC3C16","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d1b402f91d2572f9f37cd84b64ecdad3768b5d52","datavalue":{"value":{"text":"A structural induction theorem for processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1891157$2E0E47A8-DE81-4EB5-9FD0-D730545AFD64","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a8ae82736da71de39d669d768f3530d2b7328e2","datavalue":{"value":"0828.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891157$0D86BE4E-55FC-412F-8D62-26AFB170D17A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891157$83846D38-10BF-4F60-98D8-04C9EA012224","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d7950fcba93937c458f7df15b99792b7a58fc45","datavalue":{"value":{"time":"+1995-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1891157$35E66F75-C780-48DF-A559-415EEA54540E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891157$8013A069-2196-4FFB-80C7-1B7CE7672334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891157$4FFB4148-D5D2-4E04-9DF8-33006D0C6265","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abcede5bb62a13827ab2d974a83945a93db8d4c0","datavalue":{"value":"758671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891157$8934D5C4-F9A3-4942-85B8-A8242041A6C6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891157$7B32E831-2DDC-4F0C-A713-C2C251DC3A63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cf2cc8de0cc244f7a30a27a851802c8288e9acd","datavalue":{"value":"finite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891157$18E21846-04EC-4C25-B80D-A530C262D414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c456d3dcc5e35c8d82b24ac80b6acf98da5d0f","datavalue":{"value":"structural induction theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891157$81CF4C71-81F1-4A15-9BAF-116F35744EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fe8107509c3504f323398a17d0ffacfc00f02ff","datavalue":{"value":"calculus of communicating systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1891157$1FB049BF-A8C7-4D5D-850D-1143053D4FC4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a17f242a3e8e18424e964720afec0852d4e8feae","datavalue":{"value":{"entity-type":"item","numeric-id":1696591,"id":"Q1696591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891157$5A85D3C8-BF41-49DC-A234-51E9DCF61A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57a84b3343ed70002617a9eb1439c18c15bac9ff","datavalue":{"value":{"entity-type":"item","numeric-id":934708,"id":"Q934708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1891157$FB6D250B-0888-44A0-B463-161B237E4400","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":"Q1891157$49F991A6-1B74-424B-86E9-F76D14EC8D8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f5a0a1f96331da02113a26f2d673b469f6784bc9","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1024","type":"string"},"datatype":"url"},"type":"statement","id":"Q1891157$FEFD020F-8E23-4B84-A1BB-7B4354CA13C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b26f49d7cf9ec2c082c00a681234717840cc64ed","datavalue":{"value":"W2048880957","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891157$42A37E77-994D-45FC-8589-8483794C37BD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eedbba35bd2a744b7ed578239f0194d0c26a6fe4","datavalue":{"value":"10.1006/INCO.1995.1024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1891157$61FF69AD-12AF-4BF5-B4A4-AC5BA6B1275D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4417e3bd0fd670601c46dd3e64f278031ad570","datavalue":{"value":{"entity-type":"item","numeric-id":3471703,"id":"Q3471703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09c509b7c093e42dc09921a7ccfe62e1f7137393","datavalue":{"value":{"amount":"+0.8829969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891157$EE6D76DE-D71F-44B6-A871-BECA628FDB73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fc2b9b0cbcbd5120d72949824f2aac9554dd44d","datavalue":{"value":{"entity-type":"item","numeric-id":5890042,"id":"Q5890042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56240240b7bf7b7d9c10cfd9183451cd8721dfd","datavalue":{"value":{"amount":"+0.88299596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891157$AD7166CF-EB84-47EE-9966-109857CAED0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a745bdca15e743862c5e2bb2ee52be273d56c3f","datavalue":{"value":{"entity-type":"item","numeric-id":3768412,"id":"Q3768412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c56da202bf52b005e930b04747a3d25cb5a52e4f","datavalue":{"value":{"amount":"+0.8753336","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891157$8B79FBE3-18BC-480B-AFDC-29C2A92275D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3388832d9d6c598eacaa92815df2fb4c09dda8fb","datavalue":{"value":{"entity-type":"item","numeric-id":4003257,"id":"Q4003257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c260515277a1b5dd6fb642a2b161a4a39a60d26f","datavalue":{"value":{"amount":"+0.8698682","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891157$74BC396A-0D34-4826-A88F-7565669A2FE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"317ea9d33346e02730a898d464423027e5d210c0","datavalue":{"value":{"entity-type":"item","numeric-id":1113665,"id":"Q1113665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef673ec2ed7e95de7828fdad9c289fbece4ebff0","datavalue":{"value":{"amount":"+0.8606583","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891157$C5F17617-D49F-42AC-B891-EFFE453E4CCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46c5c7cc65fa7605d234cc789f21aa130bbc4dc1","datavalue":{"value":{"entity-type":"item","numeric-id":4474856,"id":"Q4474856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81ab88676cc10b9cb149c2a472fe134b8875519b","datavalue":{"value":{"amount":"+0.86021614","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891157$F8E297B8-DDC2-4E7C-8DA9-A2CF2FDBE362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddbf972129e1e71df44d9c54da3f9a35fd5ff9c9","datavalue":{"value":{"entity-type":"item","numeric-id":3753475,"id":"Q3753475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5ce288acf925200a972a601ac5785b2d0c954d2","datavalue":{"value":{"amount":"+0.85973346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891157$03BDBCDF-66CF-4A9C-BFEC-D02C1291E19C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941f06416790dac2bbed9571252d84793b7963ce","datavalue":{"value":{"entity-type":"item","numeric-id":3988169,"id":"Q3988169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88b0f6a7301cd7f7e53d5358e047108343fd70df","datavalue":{"value":{"amount":"+0.854953","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891157$5857D49F-38E2-4B00-BCC0-38A6175ABA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b7ebca8da1042d65bdbc360c3246faccd96710d","datavalue":{"value":{"entity-type":"item","numeric-id":5453501,"id":"Q5453501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2913d28c655136b339d1a783d7284b9ddf662871","datavalue":{"value":{"amount":"+0.84986746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891157$D91E635C-1426-4C74-979E-DF41B0826BBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e550bec8b8621b93d4aafb697218b696c3e7df9d","datavalue":{"value":{"entity-type":"item","numeric-id":3686025,"id":"Q3686025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b1cdadb494a2eefcd65b4edada25d63c59e33f","datavalue":{"value":{"amount":"+0.84275675","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1891157$A850C3AE-6E9D-426C-BD32-3516282A3883","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A structural induction theorem for processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_structural_induction_theorem_for_processes"}}}}}