{"entities":{"Q1363777":{"pageid":1374516,"ns":120,"title":"Item:Q1363777","lastrevid":81184355,"modified":"2026-05-06T17:55:56Z","type":"item","id":"Q1363777","labels":{"en":{"language":"en","value":"Time-abstracted bisimulation: Implicit specifications and decidability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1047193"}},"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":"Q1363777$E530DC41-9346-4549-8675-A6E930EE1F15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdc94ab6d250b987a1048a131846c0922b935e98","datavalue":{"value":{"text":"Time-abstracted bisimulation: Implicit specifications and decidability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1363777$57C3AB0F-5EA5-484C-9928-CBB064E30F0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41bb66ccc51a4d96000666f074943adf27fe0ac3","datavalue":{"value":"0887.68068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363777$5863975F-256F-4FDF-BDBD-1D8A1B899ED5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aece9782bbdecc24a1c3873cef15672aaa16f82","datavalue":{"value":{"entity-type":"item","numeric-id":258540,"id":"Q258540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363777$E892B151-2CC1-4DBA-AA81-3DAF16DE624B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363777$E26F9AFE-F105-426B-828A-DC62579BB3D9","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":"Q1363777$E11E2E9E-D9A7-40A1-BDEC-A2B3313AD1D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e04800f209034680d3c00e300ab0607f83b08af5","datavalue":{"value":{"time":"+1997-08-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1363777$A19A6623-DB09-4B2D-A479-FC643EC4A0EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"146155015a66e0974d1e90de35371b96d3845eef","datavalue":{"value":"https://semanticscholar.org/paper/77140f0a7066733922ffc310fccd79fad424736a","type":"string"},"datatype":"url"},"type":"statement","id":"Q1363777$EAF40DB0-396B-41D6-8DFA-06724398B2C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363777$76945EF6-5A4C-4132-A259-EF48B45795C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13ed834c5e3bddce9a69d0a5627a7670eb46e4dd","datavalue":{"value":"1047193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363777$2275B943-5C43-493B-9DC4-95A22069EB44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363777$3F37D0B9-0C3B-4E66-A160-D6E26DB08D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d42570b3f07ce49731c7e0056d1267e6d7e49d53","datavalue":{"value":"real-time systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1363777$76EFC76A-EFD2-4ECF-BD43-1C750BFBE267","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":"Q1363777$786CAC80-94AE-424A-9F00-3ACE56FC7435","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"773f74042156db4e36a8b2c5ed805377ca0ab0b3","datavalue":{"value":"W1967761514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363777$AF698F15-0DF2-4FE6-BA33-DB8C6D9B20CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6df3bae9c756efbb8cf10516a99531fddb50833e","datavalue":{"value":{"entity-type":"item","numeric-id":689092,"id":"Q689092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363777$4D6366E7-9F9E-409B-931D-067CF2BEC883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363777$43D18258-F4FD-464B-A0A4-B8A4BFE487BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad0949de2a3f618dca6bd9ebe8bd574e08dfaa30","datavalue":{"value":{"entity-type":"item","numeric-id":1327398,"id":"Q1327398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363777$B2818290-0311-4B75-84AC-A0E8089DC0C8","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":"Q1363777$3E1D70D2-C3C3-4306-8A02-5D52A57D0801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1d6a606679d544ce0836bdb1a85f7453a18002d","datavalue":{"value":{"entity-type":"item","numeric-id":918211,"id":"Q918211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363777$9A82E420-6584-4866-9DE0-AE56977D459A","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":"Q1363777$FF870060-5988-42D9-AE5D-1C5824100BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b043d2a9911135295eda6ada96f432b0f8ae3a25","datavalue":{"value":{"entity-type":"item","numeric-id":1323313,"id":"Q1323313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363777$562CBD4E-CCDE-4454-82BD-0C46EA3F6754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dbb8895c77359a9a1c6dc087b7323ca4c58cfee","datavalue":{"value":{"entity-type":"item","numeric-id":3725534,"id":"Q3725534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363777$50A2574E-5764-44C3-A1FE-A689315E3172","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44910d5565a922c4e656e4f073be8a38cd4ebc","datavalue":{"value":{"entity-type":"item","numeric-id":4036565,"id":"Q4036565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1363777$44D2575B-C421-4DD8-8C92-9997FC17074F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c649f43cee4a436cdc54f12b9f4593aac5ed82e9","datavalue":{"value":"10.1006/INCO.1997.2623","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1363777$A0F3806F-5EE7-4CF6-9BA2-14AF74C18D37","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfb2f2d87f8d68b773e32487f98bf080fc43dff","datavalue":{"value":{"entity-type":"item","numeric-id":5890046,"id":"Q5890046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63eca0abe1ca430eed57a540574a14f171894b29","datavalue":{"value":{"amount":"+0.99849045","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":"Q1363777$FC9B222F-A49B-432C-AED3-327C4C903E2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15109f98683d5bff621cf0d8f8a78b3f4e74fab5","datavalue":{"value":{"entity-type":"item","numeric-id":5929099,"id":"Q5929099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a145893f398a30f1ca66fde055d4659368755c3b","datavalue":{"value":{"amount":"+0.92662895","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":"Q1363777$8DFD9916-E82A-4477-BF1A-E1B1A1D3CE93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d71788dc5a4071c048e5d1d812c461674c639db","datavalue":{"value":{"entity-type":"item","numeric-id":4371679,"id":"Q4371679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8001859bc35fdc58ae2146b5193d3072a8ed631d","datavalue":{"value":{"amount":"+0.9244945","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":"Q1363777$B863F5F8-7401-404C-B140-F96765728FF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5468f103fa74a4a5200a01c39643d7e2e91fe881","datavalue":{"value":{"entity-type":"item","numeric-id":1371312,"id":"Q1371312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6cb6fe0404c94417e612ec6f65120d50c500b6","datavalue":{"value":{"amount":"+0.91222507","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":"Q1363777$4A26759A-2174-414A-9BF5-604EB96776FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee7a937d8477108f75f2a5320317bb7c19addf66","datavalue":{"value":{"entity-type":"item","numeric-id":5039160,"id":"Q5039160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c40c5a5e857123861ff7e3520d94d37968c4a7cc","datavalue":{"value":{"amount":"+0.9075429","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":"Q1363777$E3B8AEBE-2137-429C-8497-550009E16861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656ad9b1871e9e8bec1ce877072d34bb42f5e33f","datavalue":{"value":{"entity-type":"item","numeric-id":672231,"id":"Q672231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2a292f7d9e00f42a3a679d6732195ca921f52c","datavalue":{"value":{"amount":"+0.9022523","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":"Q1363777$B4B377B7-176F-4FE6-9A4C-283C2819121A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"022887f368ff6e486dae5fc1c7370d7193af40e4","datavalue":{"value":{"entity-type":"item","numeric-id":5394188,"id":"Q5394188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c74b096b14add1551489d93cf2e4fdcb78b5a654","datavalue":{"value":{"amount":"+0.89313304","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":"Q1363777$73B8E28E-8A07-46AB-A4B9-B2BAFC6FA3CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07575f03072a895f19651ea2a6cc5708e9438ae2","datavalue":{"value":{"entity-type":"item","numeric-id":4265624,"id":"Q4265624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebf1d70945eeebf1cf69282914218772e0c475fb","datavalue":{"value":{"amount":"+0.89233327","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":"Q1363777$2A553140-F6A2-427F-A695-283D39EB704B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6641a0d5b0544868060fe2368d7256f4ac58aa78","datavalue":{"value":{"entity-type":"item","numeric-id":4484511,"id":"Q4484511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad794d4c45022403708da6531a2d8f3954fa60db","datavalue":{"value":{"amount":"+0.89155114","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":"Q1363777$8E0C6B84-2197-4617-B808-284FBC5D8AF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d4da891560802a879801a17fbdb8ef48930bfb","datavalue":{"value":{"entity-type":"item","numeric-id":5739458,"id":"Q5739458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b9411090a3da6ed113eabc17709bbcd81a18a9","datavalue":{"value":{"amount":"+0.89146143","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":"Q1363777$1F606990-F979-443C-92C7-F9F53D85841B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Time-abstracted bisimulation: Implicit specifications and decidability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Time-abstracted_bisimulation:_Implicit_specifications_and_decidability"}}}}}