{"entities":{"Q1348526":{"pageid":1359265,"ns":120,"title":"Item:Q1348526","lastrevid":68799660,"modified":"2026-04-13T02:08:23Z","type":"item","id":"Q1348526","labels":{"en":{"language":"en","value":"Testing equivalences for processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1739901"}},"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":"Q1348526$D4A32A4F-9D47-4A51-BFA7-3D1209160989","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d463c63affe3146aefdf24d8acd66c213ef826f","datavalue":{"value":{"text":"Testing equivalences for processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1348526$CFD69E9A-95F4-457A-B1E1-7A734CE82886","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b595d45e99108275e15026be73437fa33fdb280","datavalue":{"value":"0985.68518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348526$803A5F21-58F8-45BC-9E2C-82C5E4C1836F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccbd36be1f5578dc197be025fd1cb22968fb15a3","datavalue":{"value":"10.1016/0304-3975(84)90113-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348526$35FAB73E-867F-467B-9E10-6D8115262F87","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":"Q1348526$4F9AC5F8-F651-4B69-B1B5-E3E25A0FA20D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6748ee0816462db9ca6cd298aabfae4d03c16ba0","datavalue":{"value":{"time":"+2002-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1348526$DFD5A97B-A89E-4216-96EE-6312E38A5000","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348526$F01D2A5C-4F2D-4617-B13A-13EA59C04E48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348526$9B66CEF3-70F4-4303-ABE8-2B8CE81ACD71","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4277b3c3add638c7bbf327cb38e79672b754f7db","datavalue":{"value":"1739901","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348526$5D7BE4C3-740F-4D6A-96A0-B427282996CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$06B5D13C-5EB4-4457-A58A-CF35EE3E1C89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4defb854fecd50f7286406c1c01a07626e69744","datavalue":{"value":{"entity-type":"item","numeric-id":1138390,"id":"Q1138390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$9B5AF94D-8671-47A9-AA8E-CE33F8151C1C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c5d859b72f128c08f4d6da1b49fb4bea3878063","datavalue":{"value":{"entity-type":"item","numeric-id":14401,"id":"Q14401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$B76FD7C9-355F-4EED-94F4-A2F611477B5C","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":"Q1348526$65807A28-47B8-46D1-9145-FC5CB0B3FA58","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c13cebce324c1d5c4a51b98e56f4b60b1dd7691d","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90113-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1348526$A0159683-6D97-4C95-8E77-E5B9CB930D35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f459a0c26e61b0a8769fe47bf13ea23cb0fed15e","datavalue":{"value":"W2157144873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1348526$C67B453D-509B-42BF-971E-8A6BCF46B28F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"40ec4abd703ba69c5dfd86055856e539b441f730","datavalue":{"value":{"entity-type":"item","numeric-id":1229897,"id":"Q1229897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$BB78DFCE-6B89-4A64-BB3B-3CAE48355DED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74863d7f38875c50068a0136b94ea22c53d4f01","datavalue":{"value":{"entity-type":"item","numeric-id":1216943,"id":"Q1216943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$014B536B-C59E-410C-90EA-3A4355FDF99E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff210c6984e92544ff3aa3044058d7dbda77eb7a","datavalue":{"value":{"entity-type":"item","numeric-id":4174727,"id":"Q4174727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$6C5EE5BD-71E2-43B2-B2C5-B88FE4DAECCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e99382c0e6c77a1c7c6150b487bfcee2740f1c","datavalue":{"value":{"entity-type":"item","numeric-id":4164787,"id":"Q4164787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$3E0A4E6D-2D49-4E5E-98F5-A2B9C866666F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93a3aa4f8ba752daa1f23406a836ba185afbd4a3","datavalue":{"value":{"entity-type":"item","numeric-id":3940827,"id":"Q3940827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$5B8AAF46-5827-48F9-B033-DC099C691D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704a2974a221da09b9f40d75d462e88d40fd4b32","datavalue":{"value":{"entity-type":"item","numeric-id":1139946,"id":"Q1139946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$D98D198F-0CD3-4985-A098-F67783F1215A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62aedbd59da703b6a13d2a6df683f16fb928eb18","datavalue":{"value":{"entity-type":"item","numeric-id":4199490,"id":"Q4199490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$AD64570B-2E53-4459-AAF9-D8B0650F8196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$32FC00B4-E8C1-41C4-8B42-E9DF6503E4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$479B5D6A-5C70-4743-AECD-8DE832286C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3826e9ebeca6b4dcff39b9397214360a6dbca1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3947096,"id":"Q3947096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$C531ED27-13F3-4CF2-8936-CF86F352A2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c6effcc92f411143cb63ab680d3148dabab4f36","datavalue":{"value":{"entity-type":"item","numeric-id":3938462,"id":"Q3938462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$3D483010-C3B1-42A9-965C-873DAA727193","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec1cd885484862938176d5982fbf25717f102d36","datavalue":{"value":{"entity-type":"item","numeric-id":3969860,"id":"Q3969860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$D912553B-E7A1-445C-BC42-16B7092ADBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12062be6bcc6b2165d16902eff3a372a4b12e161","datavalue":{"value":{"entity-type":"item","numeric-id":3883467,"id":"Q3883467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$7029FB9B-2E21-4D07-A50C-D4992E69EE45","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":"Q1348526$A0623ED4-3A22-4D29-9C7E-5CCC9A90EC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abb4d5aadd197de7bfe25cc729a40b39875c154","datavalue":{"value":{"entity-type":"item","numeric-id":1164413,"id":"Q1164413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$E03C9A2A-1DD0-4D42-B46C-A79F26430F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$1C167147-20A2-4503-A190-FA0BC1521B25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b82bb86b1cf33d404c107a80a8d4df94b3a95d","datavalue":{"value":{"entity-type":"item","numeric-id":3888522,"id":"Q3888522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$D02E6447-57DA-4E88-9C8C-44F9808B1A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60da585cac100a31c125360c9cbd2d207cbfe7df","datavalue":{"value":{"entity-type":"item","numeric-id":1148667,"id":"Q1148667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$D2A00500-E4DE-4D15-BED9-5E8FBF4EB55B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$F75B0FB5-0301-47A8-9A0E-39C640C0120F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$64596134-0B63-4A09-8DE6-C948175AB2C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$1DDC12DA-F3EA-4BBC-8AE3-359494532326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43522741a5881651813aecfed6b174a4b945638c","datavalue":{"value":{"entity-type":"item","numeric-id":3969890,"id":"Q3969890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$453C6FD4-38A4-46E0-B6FE-B1301E2BED38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"999d11415caa2e3807e4f29e56c682879566b1d6","datavalue":{"value":{"entity-type":"item","numeric-id":3659104,"id":"Q3659104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1348526$088F4574-19EA-4FA1-9044-ED7D8ACBB810","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcce62d4827410d7078cb1a4fb62787d8cd22cf","datavalue":{"value":{"entity-type":"item","numeric-id":1898467,"id":"Q1898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a864ef02b5f54fc4924e65de943a74e539dbd3","datavalue":{"value":{"amount":"+0.8365902900695801","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":"Q1348526$A3D40596-4F5F-4843-8BC9-61819B4F7AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c83cd37235ed39f4f4bde2119fddf147082822","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61a217d18f3deebf1d54e542e10f756528df474d","datavalue":{"value":{"amount":"+0.8363986611366272","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":"Q1348526$DDCEC724-CC57-4066-8A44-86369BB70511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516bd943972c6cbd6b22be160d797dc7e9735399","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f410b8e0fd7f546002c036f484a2791656fde9","datavalue":{"value":{"amount":"+0.824359655380249","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":"Q1348526$12E98629-8121-484E-B282-3B9707691ABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcfef2ded8ac6e77d73b407144d18f8908ad0a83","datavalue":{"value":{"entity-type":"item","numeric-id":1104076,"id":"Q1104076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83f70838dc49be5c58e372ee90161530a987be4e","datavalue":{"value":{"amount":"+0.8229357600212097","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":"Q1348526$F87BD0DF-750D-4015-A13D-D9EBEC647A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca86a84163579aac3280e8e8fc83653fc41ce3e6","datavalue":{"value":{"entity-type":"item","numeric-id":1098303,"id":"Q1098303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c344738754a58d09aaca3e207743e3bf03788376","datavalue":{"value":{"amount":"+0.8202865123748779","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":"Q1348526$84A50FD1-F4AA-4AB0-B5A2-3E4B5191FDE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing equivalences for processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing_equivalences_for_processes"}}}}}