{"entities":{"Q2358623":{"pageid":2369366,"ns":120,"title":"Item:Q2358623","lastrevid":73996410,"modified":"2026-04-14T17:59:47Z","type":"item","id":"Q2358623","labels":{"en":{"language":"en","value":"Theorem proving graph grammars with attributes and negative application conditions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6731647"}},"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":"Q2358623$021B5575-5306-45EB-B0CB-2DAF5E1CEB0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7cea3fec94f1ca4baae18d48fb8d9bf9be097868","datavalue":{"value":{"text":"Theorem proving graph grammars with attributes and negative application conditions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2358623$A19B66F4-0ECD-40CF-B1DD-2E5DF25409A4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9f62400eec596380782276a0c9de67af7ba81b62","datavalue":{"value":"1371.68139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358623$E1654534-6119-452B-BE04-61BAA8568ADE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"15354715e79a03c2826765c8a7cefdcaf3d50e55","datavalue":{"value":{"entity-type":"item","numeric-id":2358622,"id":"Q2358622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$25C782EB-55A0-49AB-86BF-9A4912EE24FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7575fcb4aac90c30b105867301c2264e6c7b1bb5","datavalue":{"value":{"entity-type":"item","numeric-id":436352,"id":"Q436352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$11887657-3143-4449-BFE4-0101543DA6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2426f4789b74a97843d6e34c34f44f9f0ab6d7c5","datavalue":{"value":{"entity-type":"item","numeric-id":436349,"id":"Q436349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$DCDCF16C-B76C-4764-80A9-7866A4CEBAA0","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":"Q2358623$7C2795DC-BEBD-454C-91A9-C363563FFF38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92d82bc79e45dbea4d44c115656eba4b7d7ac07a","datavalue":{"value":{"time":"+2017-06-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2358623$A1FA00E5-5263-4B04-AC00-DD3B7ADE471C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358623$C2E9901D-5894-42E7-BBD3-CF311EE26990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358623$6FBC1833-930A-440D-8D97-6189B4ABA9B1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a4340b9a1fafae5f58cea5b50f983526eb50b5a5","datavalue":{"value":"6731647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358623$F7605124-02A2-4A1B-AC2D-465A68141E13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358623$DD68D5CA-FDEA-46FB-8BF9-3B2993A42AB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2358623$98BC60F0-0F89-46B3-88B0-49D2EDCFD680","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$0C0D6410-8AF1-4177-950C-724D27C76905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8b2040a476017b43b21bd352cfec0a67d631d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":18467,"id":"Q18467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$E7E32676-9A1A-4771-B777-FFE91F5AB6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$74A2C51B-1BF0-4D3D-8689-0A8168FE91E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"abde918e525ebd74af14326f8ceb67bfaf5c3838","datavalue":{"value":{"entity-type":"item","numeric-id":14230,"id":"Q14230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$929EA675-AB3C-4BF1-911F-C82F8C332964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d5594ddcdf48a99c92bdf04a2b247a8a25d4d012","datavalue":{"value":{"entity-type":"item","numeric-id":16043,"id":"Q16043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$F50D8ED4-5D38-42F6-ABA3-9D51F7ECFCD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3dcf6ea9ac65c890e0513ced8e4b0dde71e50b0f","datavalue":{"value":{"entity-type":"item","numeric-id":19141,"id":"Q19141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$4C825F4E-4362-42C4-BD98-E0970F8177FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0887771fa8fa24228e4b65a3b13091f37ff5ace9","datavalue":{"value":{"entity-type":"item","numeric-id":21462,"id":"Q21462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$BD0B3ED7-D672-4ABB-836C-0A47D614EDC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"db1e06e25aec90f0ddf134f3b58b659845441d7e","datavalue":{"value":{"entity-type":"item","numeric-id":35506,"id":"Q35506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$6A2FA282-D015-4B17-A2A5-D37C559AAD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$5B2E3EA2-919E-43F7-AAD4-0E18E7ACD6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$7A7CFFB3-695D-490D-9F84-440AD8398CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4701ff21eb4a2c9eb9d06d6b01d51868b71f093f","datavalue":{"value":{"entity-type":"item","numeric-id":22054,"id":"Q22054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$58F1CA3C-2A77-4D17-95DF-42961693E4B3","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":"Q2358623$F90A8663-893A-4F22-9F92-D84665A5AE5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6026f4352bd6b75c04f69c86f850279174610358","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2017.04.010","type":"string"},"datatype":"url"},"type":"statement","id":"Q2358623$AEF6FBCD-28AD-4220-9E59-2CFD7E596004","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"def453b2a18b542fdbc50f45b2ae0df5a349d320","datavalue":{"value":"W2622763796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358623$5B62B946-3DE2-4BFB-BCAC-02E19592ED2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$F9524EC6-5EEC-497A-99B4-D2B3FD15DA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a64dbb7c90690de5fbdf0d30d9b861ec41a32a6","datavalue":{"value":{"entity-type":"item","numeric-id":3569584,"id":"Q3569584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$952229B4-FBF1-4203-8368-FF090ED3A60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e7b9da18e16cd970511c07ad5cdb803278d984","datavalue":{"value":{"entity-type":"item","numeric-id":5294155,"id":"Q5294155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$8088223A-1202-4EF7-A6A4-C8B3589E8CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54fffce8ba9b08b7b4507292f2b0cae0b976145b","datavalue":{"value":{"entity-type":"item","numeric-id":937301,"id":"Q937301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$33C02FC7-EBDA-4538-B53E-0B4027879428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"600a361606754b3a8ef5b6c52250dfaa45c764a9","datavalue":{"value":{"entity-type":"item","numeric-id":3541969,"id":"Q3541969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$92575A12-2DDF-409F-8E5F-9A82380A0C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$5883D17F-5ADC-4FC8-B0EF-19F7E4B12C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"431bb693f218d2857f3a0e045afef735076a5da5","datavalue":{"value":{"entity-type":"item","numeric-id":2947209,"id":"Q2947209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$5ABA1DA3-6863-4543-8D0B-E6D9AF129553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a61f94f34b177df76a317c8d62663291a02395c","datavalue":{"value":{"entity-type":"item","numeric-id":4353558,"id":"Q4353558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$ECCAE8C8-7292-479C-8E5C-B225B0839944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bf3f52a6d15f3408a2aad1c2bbb407336e3efd7","datavalue":{"value":{"entity-type":"item","numeric-id":5179351,"id":"Q5179351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$C0EE13EE-CC66-4274-BCCE-9B2F286AF1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cfc25bc76821b3f42ef06a4d14237eeb17e6df2","datavalue":{"value":{"entity-type":"item","numeric-id":436370,"id":"Q436370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$BEE848C7-4939-4976-83D4-23F7F6B42F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7916e7bea80582931c5e5c7343d28361041868a7","datavalue":{"value":{"entity-type":"item","numeric-id":5200478,"id":"Q5200478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$8BA0E477-E0A7-45E5-AC44-B232DDF45829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59030a683a61c6f21335943f1806126d375ef998","datavalue":{"value":{"entity-type":"item","numeric-id":5902550,"id":"Q5902550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$45E818C3-985C-4A4F-8146-FFC25BBA2F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a39e345e91f4ed4de2d66f36ed973b2f603ec3c5","datavalue":{"value":{"entity-type":"item","numeric-id":4951113,"id":"Q4951113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$421F3931-AA31-472A-886E-E3E8FA9758CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d2a5930b67fedf7ddfefc5427ba29961082dee","datavalue":{"value":{"entity-type":"item","numeric-id":2491953,"id":"Q2491953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$43343D57-B10C-4917-A1F4-960CD7E5770B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef15b3970454943801ea6f54009a29a9b0eb4583","datavalue":{"value":{"entity-type":"item","numeric-id":4194478,"id":"Q4194478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$DB7693E5-3FB8-4957-9E20-1CD655C9484C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9423a81fd6dbfe03aa1c6a75b0e1ebd282c6696b","datavalue":{"value":{"entity-type":"item","numeric-id":3416072,"id":"Q3416072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$CEC8CD7A-E511-4F6A-BCA3-577F5EB001E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$12C10F07-B5C4-4522-8EF7-742598E28DD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5abeb88716faa786e6d5deff551b26bacb5c2f2f","datavalue":{"value":{"entity-type":"item","numeric-id":2918981,"id":"Q2918981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$6B284E4E-C4BE-4957-9EA7-EFDB75C7FCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"548acb24d75419e124fb7d477c7572e13a585136","datavalue":{"value":{"entity-type":"item","numeric-id":3625675,"id":"Q3625675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$95E516D6-2363-4AC8-AF7A-3CC0C5DCDA05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"230491774cda96275295252f683e66d15c981980","datavalue":{"value":{"entity-type":"item","numeric-id":4438775,"id":"Q4438775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$2C20E152-15EA-47C3-8F9A-2794CA5D8CC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4d76d59e66979e6ef88aee9dd5b85b00517f76c","datavalue":{"value":{"entity-type":"item","numeric-id":4890712,"id":"Q4890712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$83D4E86A-BD28-480D-A956-6CBEA591638F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"906558ae98c71276ad11df64a94be4f5f216a839","datavalue":{"value":{"entity-type":"item","numeric-id":3541980,"id":"Q3541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$B801AE96-394E-4023-B792-EC5660C955B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3953bb8dce532d8acabd1362f67cb5af7992c24","datavalue":{"value":{"entity-type":"item","numeric-id":5740378,"id":"Q5740378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$D35A135C-7694-4F01-ACD2-A7B5BA36FE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6603186d1d7dee28c15445c61713aaa847972ecf","datavalue":{"value":{"entity-type":"item","numeric-id":5208506,"id":"Q5208506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$405F7565-C478-407B-9845-F91685DC822D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44a67229ac0f91177572b01316e4523ac0357da","datavalue":{"value":{"entity-type":"item","numeric-id":5166666,"id":"Q5166666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$E4FE1FCF-6BA4-4947-B80D-0C366FF712A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80b9c001a107b8f5d4d5ecd6d4d51489763ffcc2","datavalue":{"value":{"entity-type":"item","numeric-id":2852050,"id":"Q2852050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$C9303A84-1B23-4D1A-8ABC-F464B3191060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"044db2536fa3b321759db2fc054a43bb7657aab6","datavalue":{"value":{"entity-type":"item","numeric-id":3540407,"id":"Q3540407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$F440A20C-E069-42DD-A80F-61D847E4416F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0099e31e1dc5cd920c9effe974dd2b2026e19d8a","datavalue":{"value":{"entity-type":"item","numeric-id":685460,"id":"Q685460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$3F93D740-653E-4736-B59B-53E6BADB2E3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$E5E9F995-1D25-4805-B562-82ED52831D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c28403c3eb2e616dbd31d0bfc5bb6888bb53bb8","datavalue":{"value":{"entity-type":"item","numeric-id":5404181,"id":"Q5404181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$5F30DA56-9AC2-40C1-90F1-E15CDB6EADF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$396BAF15-194B-46D0-92B3-A78E04615638","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deb9865b9ec7d75ea6408f7463449ba93e2c161e","datavalue":{"value":{"entity-type":"item","numeric-id":5307478,"id":"Q5307478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$701588D2-312B-4AEE-8BF2-C498189A062F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"485b2ca58fe443a242e28d1ff7d495fdee437cdc","datavalue":{"value":{"entity-type":"item","numeric-id":631573,"id":"Q631573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$C79E7CA2-8037-4798-B6F7-8ABB9B2A93F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a05ffa0756173cd6f495b88cfa65f26cd95ed1a1","datavalue":{"value":{"entity-type":"item","numeric-id":4931303,"id":"Q4931303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$BAE15CC7-6E82-4D51-B55A-252594EFA44D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79cfc127b367730c102b1633fce64a1c6d9664d","datavalue":{"value":{"entity-type":"item","numeric-id":5403460,"id":"Q5403460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$563480CD-20BC-420C-9E71-A7FC6F1924B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7989eeb3d9f5147470406c12388bbd7f8e4eafcc","datavalue":{"value":{"entity-type":"item","numeric-id":3540406,"id":"Q3540406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$568E7FCC-09E5-4B54-BF0F-F8E75C9266D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9ad7f0cfabd318c2724cd6f60380e779777e00","datavalue":{"value":{"entity-type":"item","numeric-id":2898467,"id":"Q2898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$6E0CF9AF-F05C-4375-86FE-32E584886268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7edb9d2328c01d3a952537989723d0f8f5639e","datavalue":{"value":{"entity-type":"item","numeric-id":3192221,"id":"Q3192221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$0F1B0B0E-48F4-4343-A5BF-B9B51A569E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed96b910c28b0a5b2e7f2a02d0a97eef2d58a5","datavalue":{"value":{"entity-type":"item","numeric-id":4379556,"id":"Q4379556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$B3C5211C-170C-44D2-BCFF-89D1BF03C7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c57d45f6c32f1371ac4163b002150117ce336e4","datavalue":{"value":{"entity-type":"item","numeric-id":2870320,"id":"Q2870320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$14F74E06-7CDC-483A-8BD8-2A18CA3AD276","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c7ed3d7b7fd15c58ead30f44cff87ebaa43ba41","datavalue":{"value":{"entity-type":"item","numeric-id":4585009,"id":"Q4585009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$9A722B4F-1E5D-469D-ADFD-BA4923012423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d296e7ecce2a3b314107003da004e0127e6c2fb7","datavalue":{"value":{"entity-type":"item","numeric-id":2292975,"id":"Q2292975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$A2D63C6C-9621-4051-9C50-1460ABD178AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c9bd47fe2695afe1781df680bf26eccab1c1db","datavalue":{"value":{"entity-type":"item","numeric-id":5253936,"id":"Q5253936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$1FADA661-8198-4102-8A90-F90FE251E18F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e443d4199200728c7969c41333b73ad52a3533d8","datavalue":{"value":{"entity-type":"item","numeric-id":701039,"id":"Q701039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$4D0ACD81-8E2F-4BC1-BAF4-E610CA8AD4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d79ecef7e554a3fd3bc1c9531fb6f274361bb2e2","datavalue":{"value":{"entity-type":"item","numeric-id":4736414,"id":"Q4736414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2358623$56CAE57C-EDBC-45AB-8D6D-ABE7CE714536","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a06a7ca346b5be3f9a16c225b9d267cc6c01cc0","datavalue":{"value":"10.1016/J.TCS.2017.04.010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2358623$D158026F-8C62-4D0E-9A23-DF17DBA637BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d44651c9f4c8f9ce0d790835e00300653086bfa","datavalue":{"value":{"entity-type":"item","numeric-id":436370,"id":"Q436370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f2714f1798bae7f6b19ce5adc8f27151e20b4b","datavalue":{"value":{"amount":"+0.8298769593238831","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":"Q2358623$F676F956-2986-41CC-B48F-EB7FD744C688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f9153f998851f991e4ff30ef7f0e8dd9ce39ea5","datavalue":{"value":{"entity-type":"item","numeric-id":5166666,"id":"Q5166666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd3a9f58d4b6d89f78c0639b9345b31a66ee34c","datavalue":{"value":{"amount":"+0.7953880429267883","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":"Q2358623$53524DA6-D668-4700-90C6-1CEC1438DCA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0a32db72f307b876d8ed3f059040127f6929c2","datavalue":{"value":{"entity-type":"item","numeric-id":5179351,"id":"Q5179351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51bd2bfd3a5574cdc7f9e9f6594137cd10d59dad","datavalue":{"value":{"amount":"+0.7882400155067444","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":"Q2358623$0B56BBCF-DE96-4B09-BA8C-7E764D2C710C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19dc35d7c4820d0ccae697e6bfeecf803d01969","datavalue":{"value":{"entity-type":"item","numeric-id":5100737,"id":"Q5100737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12898a65587ada23c523b280a3061ba8f1939170","datavalue":{"value":{"amount":"+0.7791048288345337","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":"Q2358623$C0537EC4-9B25-4334-9A1D-E6455313FB97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db39d77345425f70f26590ebeec14264632dba40","datavalue":{"value":{"entity-type":"item","numeric-id":5311499,"id":"Q5311499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc3fec9c76818853646644c08fdb044d8adb69e","datavalue":{"value":{"amount":"+0.7465777397155762","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":"Q2358623$713499D6-7775-43D4-8356-5298E0221D9A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving graph grammars with attributes and negative application conditions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_proving_graph_grammars_with_attributes_and_negative_application_conditions"}}}}}