{"entities":{"Q4633177":{"pageid":6662758,"ns":120,"title":"Item:Q4633177","lastrevid":82177424,"modified":"2026-05-06T20:17:19Z","type":"item","id":"Q4633177","labels":{"en":{"language":"en","value":"Behavioural equivalence for infinite systems -- partially decidable!"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7049861"}},"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":"Q4633177$80ED818C-E603-4583-A204-876C1AEBD9F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f6e7453877cb9f9c83326672a266be7124420da","datavalue":{"value":{"text":"Behavioural equivalence for infinite systems \u2014 Partially decidable!","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4633177$8538EDEE-2ADA-40A4-9F7A-BAC05A7AB14B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e632b1ad4347df7ddb2e9a9fc4612b96127f7ade","datavalue":{"value":"1418.68154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633177$909AA68A-B73B-4D85-ADFC-258BD160B86E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a70abbadc66b808e4c2c87d385e687303f74d8cd","datavalue":{"value":"10.1007/3-540-61363-3_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633177$E87019F6-B934-4E1D-A426-FD390F9CDE25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"10f99066612be850a6fb8a8ed7a3ba8a115166f9","datavalue":{"value":{"entity-type":"item","numeric-id":2763545,"id":"Q2763545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$7943C5E9-1FF4-47FA-A72E-2FC2D04894CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a56363933ab1b2b882d7fd10c13d60bce6295ff","datavalue":{"value":{"entity-type":"item","numeric-id":418795,"id":"Q418795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$3239EC67-2F72-4588-850B-D33C3B55774C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"37fc5bc35324bf9712bb6f10d6d3c50921a5a993","datavalue":{"value":{"entity-type":"item","numeric-id":4633150,"id":"Q4633150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$50C2DF0C-AF65-4A7C-85C9-DDA04D316E51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe967a6646fb6ad4126028ed66c1cfc1a0b6f1a6","datavalue":{"value":{"time":"+2019-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4633177$740B2438-527C-4017-95CD-BEFF105D0EC0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633177$76A6D036-3EEE-4F61-9898-399F4EBD493D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78230ee51df7aba61ee301246f5195cb77d2f426","datavalue":{"value":"7049861","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633177$E8868863-2952-408B-9AC9-1148C303F611","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"000cae892649b86c08dfd4faa170d21befcdc840","datavalue":{"value":"process calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633177$6B490918-95A6-4C1E-BEBA-14983976D03C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633177$BB0FEF2A-AD41-4D4C-A709-3EDCE131C814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07545e3190c10d222c4524317f97cc37cdf2b23f","datavalue":{"value":"behavioural equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633177$FBFA6F0B-BC8F-4385-BBED-B53D92186BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5e3412754c819518b74467d9f82816d9209eaba","datavalue":{"value":"partial-order methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633177$2A769B19-5F60-4DC2-95D2-24C2414D0A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4633177$5AB13440-A8E1-4AC4-9D58-E928238B5251","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":"Q4633177$35F71DD1-9470-4DCB-81B7-E123EAD66F54","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3396be836de25471f1ca283ca55ee04b3715357","datavalue":{"value":"https://doi.org/10.1007/3-540-61363-3_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q4633177$3FC925C2-10E1-485F-B310-F6D3FCF97587","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2d1f5f15f40ff43692d206892a0c5083b2bc6d6b","datavalue":{"value":"W1583597163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4633177$0B959190-C21F-40DF-AFC1-D68C42B2A0BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fbcd46d5321a7520f52ba903b91e708fdb23bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":1329199,"id":"Q1329199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$906A11A5-A443-471E-B29E-520B64672893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1891e4045cd93999a8de2705a064dc22e7473b19","datavalue":{"value":{"entity-type":"item","numeric-id":685414,"id":"Q685414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$3EC7F159-BEFC-4AC5-BC52-C46A90ADD4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ae6ed760781d3b49742d7b716b0a26662372ea","datavalue":{"value":{"entity-type":"item","numeric-id":3142557,"id":"Q3142557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$509799C7-B651-4DDF-ABE1-475C67423D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef24932abd74e01a026e2e349f03bfd5726d23f7","datavalue":{"value":{"entity-type":"item","numeric-id":4102764,"id":"Q4102764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$772ADB99-27BD-468A-BE67-58B08528167D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c88510136283ff21bf203324d47fc86799aeb32e","datavalue":{"value":{"entity-type":"item","numeric-id":4353915,"id":"Q4353915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$8B0240AA-5E5A-4EC6-A848-0F98550996B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0deeef39be58c8f47637dd9909466046884d08b4","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$0D3D3F35-9A31-4BED-AA80-997C1C46381B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$3E9B70D9-818C-4CCA-9D98-7B55902F242D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e3c01344508637d2317439a872c1623a9dfa517","datavalue":{"value":{"entity-type":"item","numeric-id":4490743,"id":"Q4490743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$C2078509-8E18-489A-926C-150DC5807C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"699022c74df426258c4e2734fb1589bc5c5970eb","datavalue":{"value":{"entity-type":"item","numeric-id":4630288,"id":"Q4630288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$6AEC71D1-478C-4CF4-B4E3-177D6084F1C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b270385c5f87646a288a84003f4b23432d904d79","datavalue":{"value":{"entity-type":"item","numeric-id":1149775,"id":"Q1149775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$531CFF4F-DD93-4128-B560-68AB5A7FB641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8ec5d09b5c750f80e0bef8173b6beb42d02f375","datavalue":{"value":{"entity-type":"item","numeric-id":3912016,"id":"Q3912016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$6EEB98EE-72A6-47E4-8441-A830F41FBCDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fdf93c2a636a9d6cd86710070581e915ea328a2","datavalue":{"value":{"entity-type":"item","numeric-id":4733400,"id":"Q4733400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$0598168A-4F5E-4DD6-A089-CA9653E669C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$45CA9C99-1682-4E25-8B29-5A5B9562E3F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b1d274c6ee4b9c24930fb83b43c12797e99121","datavalue":{"value":{"entity-type":"item","numeric-id":5590814,"id":"Q5590814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$09C1CAB3-A72C-4EC4-9D86-04BA0376239B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"808cf189af5754ef03dc35e25b5f8b08308ea0b9","datavalue":{"value":{"entity-type":"item","numeric-id":1060838,"id":"Q1060838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$3A447817-85BE-4D09-B1CE-557DED9174DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017ee968e085f601cf7496bb0d4aee5fe489c2dc","datavalue":{"value":{"entity-type":"item","numeric-id":1091134,"id":"Q1091134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$F8CD2715-5A79-4872-9CBD-7A3ADEC5CABB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893de0f94f2ef80aa73e9b352553ecc5548cecd0","datavalue":{"value":{"entity-type":"item","numeric-id":1258178,"id":"Q1258178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$4F13A659-F6BC-4DD5-A79D-1D97DE10F3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$511A6E3A-0A49-4045-9A99-E95D4B99F5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74cecea7fca8f6cfb178e5cd0f59dc6ba697d159","datavalue":{"value":{"entity-type":"item","numeric-id":4633177,"id":"Q4633177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$9CCAF3B6-CF1E-43D2-AFB1-25C5283A680E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"368880da66f2cee1a9756309e60d0751982ecbb9","datavalue":{"value":{"entity-type":"item","numeric-id":1187659,"id":"Q1187659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$E5DDAEB5-0B5E-49C0-BB76-5F905533D214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f1d821bd2a1a38500df8bdaf1b0ad70b8c8ee08","datavalue":{"value":{"entity-type":"item","numeric-id":4385530,"id":"Q4385530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$A62A1D23-EDAC-4E0D-B6D8-F371CA661C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c9b97325196e15821b091871efdab4e43e1736","datavalue":{"value":{"entity-type":"item","numeric-id":3975146,"id":"Q3975146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4633177$6A26A03E-B64E-400F-AB76-19C340D3C588","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61f7b37129505716277210d94e42ed15037df964","datavalue":{"value":{"entity-type":"item","numeric-id":4349577,"id":"Q4349577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e23565e9eeddce9db745006effdc19f297097c","datavalue":{"value":{"amount":"+0.8365053534507751","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":"Q4633177$25E037E6-E9EE-4931-9A1B-CD4095F3F7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d644fc0843206e5e0bf695eeab04b4e7645369d4","datavalue":{"value":{"entity-type":"item","numeric-id":1049404,"id":"Q1049404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a6addb1127d7f7a141f88ea12d66dd92aecba30","datavalue":{"value":{"amount":"+0.7992879748344421","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":"Q4633177$3045EC34-96C3-4B22-A7C0-9D70FC95AF1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6383ca3ad0f865e4b1851ad9a1eb25ab08616fe8","datavalue":{"value":{"entity-type":"item","numeric-id":4525284,"id":"Q4525284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a3d3df412badc83c0c316abd8121ed1b5df7dff","datavalue":{"value":{"amount":"+0.7865855097770691","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":"Q4633177$8AE224CE-3C11-418D-89AD-C2D7AFF65AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"881af164b8055a21072d30f286243476fa951fb7","datavalue":{"value":{"entity-type":"item","numeric-id":4490743,"id":"Q4490743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd2ab57b87daab987ae588659986fd5e163083ae","datavalue":{"value":{"amount":"+0.7840225696563721","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":"Q4633177$0DEA4F04-43F6-44CC-830C-2F785721CCFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abc2f4c93e10a90e6e2c49929dd4e2626a4b57b5","datavalue":{"value":{"entity-type":"item","numeric-id":2406167,"id":"Q2406167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8660177e39bfe66bf17e835a7c59ed2cbeb3f2a","datavalue":{"value":{"amount":"+0.7826604843139648","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":"Q4633177$945A4E4F-505E-46EF-B433-AC40F9EC8857","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Behavioural equivalence for infinite systems -- partially decidable!","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Behavioural_equivalence_for_infinite_systems_--_partially_decidable!"}}}}}