{"entities":{"Q4630294":{"pageid":6659876,"ns":120,"title":"Item:Q4630294","lastrevid":82162280,"modified":"2026-05-06T20:15:07Z","type":"item","id":"Q4630294","labels":{"en":{"language":"en","value":"Decidability of a partial order based temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7045145"}},"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":"Q4630294$B399546B-C10F-49C8-9273-D8D21AD8956F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"09b7044c8cc0aaeddc8aff03a0a3e429f0576261","datavalue":{"value":{"text":"Decidability of a partial order based temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4630294$17C87016-30E2-4ADA-88DF-70E879E3801F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c0bddffca97ef06e53dc07325e3260cce3472d91","datavalue":{"value":"1422.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630294$04CE0FA8-511E-4E39-B65F-DDEC835C0A9E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cdf26c87a815c83e7fee0e7eb040287bdf54a6c","datavalue":{"value":"10.1007/3-540-56939-1_104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630294$F98467B2-5041-4913-9E29-249086806A5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43b346a4e742665f6fae44f5c4c1165c37d3a575","datavalue":{"value":{"entity-type":"item","numeric-id":229995,"id":"Q229995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$7EF84479-942D-48E8-9D67-6F49D706728F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8392ad3e919ceda3cd16f19f1268cacb9704ba7b","datavalue":{"value":{"entity-type":"item","numeric-id":229998,"id":"Q229998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$007DEE23-381E-4158-9BB5-181B49229C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8de1b864db61026e712bb2f2d7e147ff4e2cdd1","datavalue":{"value":{"entity-type":"item","numeric-id":1403407,"id":"Q1403407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$DACF04EF-CF23-45B9-BD03-86F78E889792","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$7D5323AE-AB76-4722-9624-B48BDC1E3B3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b94f238f3a59f4446a7a7f663c3bfff3dc2ed3","datavalue":{"value":{"time":"+2019-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4630294$0E1EC698-FBEA-48B6-A2E9-4B8202C59EB1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630294$5573F65E-DC14-4B2E-B2F0-BDF6584C2B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630294$BD68F486-C886-4910-94A2-1319FB09897D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630294$7E13A88F-DDD4-4DB4-AA20-7545148A7481","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdcf38fa60909439edfe78b2e42f5ff2da7765ac","datavalue":{"value":"7045145","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630294$11096C58-6588-437D-8892-E030C6D81F20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630294$759B25A6-A435-4908-A315-E00DEA9BB838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630294$5ABC44C0-BC82-4459-88E1-68DBFFFAAED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630294$93A35B28-641E-4DBF-A166-BC28E2F56FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630294$2CBF9FE0-E2BE-4606-97BA-C5A967485D59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9cb11242c242c4d87b89271849601e4f1f9ff0","datavalue":{"value":"event occurrence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630294$25603BAF-5DAF-481F-B11F-75CEC598656E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$1D536D3B-3BF5-4F2C-8F3D-0EDF7130D1D8","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":"Q4630294$D59C4E78-0477-45F0-AF55-25259D471B4F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4fe570ba73d0a87b5cb8423cd68a82481323ed1","datavalue":{"value":"https://doi.org/10.1007/3-540-56939-1_104","type":"string"},"datatype":"url"},"type":"statement","id":"Q4630294$9E3A330B-FA1E-4E92-AC71-244663B05B11","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5e5512eb3bbe72b11ca86eff9c71df91394c1a6a","datavalue":{"value":"W1488330382","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630294$3EB25C25-0BA1-4AF2-9B5A-BCB625264D5F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3bc80122c3248b7370a66f915205122d19550f7","datavalue":{"value":{"entity-type":"item","numeric-id":3925144,"id":"Q3925144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$BAC84853-2DF4-4CE8-B9F5-DC2EFC98CD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65004c290e3f0ea315a4c52f604a40c6749f75","datavalue":{"value":{"entity-type":"item","numeric-id":1155599,"id":"Q1155599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$19C43F28-D4F2-473D-8C7A-C4D175F86480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$12BB5414-E76F-4679-85AA-37ADF4B6C694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$D3AF2F7E-1C64-4BE4-8858-EC2650771D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$D5C841D6-2C32-4107-B1B6-C557BD98B787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$9DB4F8E0-0CC4-47AF-98F1-F9F82C427178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a9cf123d7db9fdc0a05d7755ab2fa05f97f863","datavalue":{"value":{"entity-type":"item","numeric-id":5955751,"id":"Q5955751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$C090D6A8-687B-4393-A2A2-8CAB9B1F75D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37c3ab59413161772c985ff187e43032af16a792","datavalue":{"value":{"entity-type":"item","numeric-id":4020485,"id":"Q4020485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$065FA60A-40CE-4ADA-85E7-FAEA1D5C8E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5743769d17c4634b87dd26b48de6330e5067dd8","datavalue":{"value":{"entity-type":"item","numeric-id":3992564,"id":"Q3992564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$3EA40C2C-903E-4B87-8D6F-94D51ACDE65D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b673fb73cc298c0d5356e4b8333e8e8928266bf","datavalue":{"value":{"entity-type":"item","numeric-id":3832541,"id":"Q3832541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$88FFD096-DB3A-4A18-8923-7EF9F45B91D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$99DFB656-D034-4C65-AD0E-EE7ECDB16136","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45280f113fe0216f2b7ecb89e3dff3eb55b2630c","datavalue":{"value":{"entity-type":"item","numeric-id":4733387,"id":"Q4733387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$AFCEC3D2-E59B-443E-9090-EF540D38E770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630294$477B5C05-34B0-402E-BB36-4D17C2B3BB68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidability of a partial order based temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidability_of_a_partial_order_based_temporal_logic"}}}}}