{"entities":{"Q418179":{"pageid":419946,"ns":120,"title":"Item:Q418179","lastrevid":61693860,"modified":"2026-04-11T01:01:15Z","type":"item","id":"Q418179","labels":{"en":{"language":"en","value":"Continuous time temporal logic with counting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6038309"}},"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":"Q418179$AE5D2D65-07A1-4580-98C7-2F2602119613","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"da3aca547f997c679c396b9acf7b9fd1396ccb89","datavalue":{"value":{"text":"Continuous time temporal logic with counting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418179$2DDD2BAF-E7DC-4989-B435-06E653A6C996","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ae0f615a14ef2f6bf5b6cc64729b4df7e2cba72c","datavalue":{"value":"1242.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418179$894E6A11-66A1-4EC2-9E2D-BDB4A103733A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"91a6d5b55b11b7c5072badc33d9b23eaf1c7a459","datavalue":{"value":{"entity-type":"item","numeric-id":259067,"id":"Q259067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$1BF17DC5-DE27-4D9D-8ADD-C750FA406515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7288cf75c4f286e546d946f7da603be7aa5ea57","datavalue":{"value":{"entity-type":"item","numeric-id":1216296,"id":"Q1216296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$44D92215-CA05-4E19-876E-46407297FDF7","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":"Q418179$3553540E-7C4F-47FA-B228-17428CE7DE5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4dd357d987d60d499edfc98e682fe931160623b6","datavalue":{"value":{"time":"+2012-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q418179$63CF65DC-54F9-47AD-A202-10923DCEBD4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418179$9245C12C-430B-4868-BEBB-2A9FF98AB551","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26cff2901843cba10376b83f7d86802832fbcba1","datavalue":{"value":"6038309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418179$17DDDE82-7D50-4F50-ACAA-254CFC956536","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":"Q418179$D7729CFA-EFAA-4CFE-B539-180DB9705E0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d39d49cba3f8eb9a79101dd7a078ce7501bfa50","datavalue":{"value":"https://doi.org/10.1016/j.ic.2011.11.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q418179$89DAA085-28C8-4EAD-ABEB-A5E3C4225B47","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"38f170fb77f00894799e250ff9e1cf3f2c28f22b","datavalue":{"value":"W1993445249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418179$54A393F5-B2D6-4D40-80F1-0A78634B11B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8e019e14c862ddaf7bcd66cd64d6515bc5dc195","datavalue":{"value":{"entity-type":"item","numeric-id":4371517,"id":"Q4371517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$244CF65D-7492-4A3F-85CA-D1E39231C946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$0B55EE98-34E4-4ABE-ACD6-92746F37BB17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9a0035cf4540a200f752e67616ee09960bd2d41","datavalue":{"value":{"entity-type":"item","numeric-id":3261418,"id":"Q3261418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$25122E6B-9225-406F-83D8-02C0848FA4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$32170DC3-5C40-432E-ABFC-FF612E2D374D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bd2e069871eb3bf4232917297a8392cabd79fa8","datavalue":{"value":{"entity-type":"item","numeric-id":4251919,"id":"Q4251919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$37246E1E-984C-4D02-A393-827B65303918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f20e74feaba62bd46513e7af48c16a7db530206d","datavalue":{"value":{"entity-type":"item","numeric-id":4938638,"id":"Q4938638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$6CF8A7D9-400C-4361-94E1-F11E6DE90F73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da4bb6f9cf8d59bb08e30fa860898c4d527ef942","datavalue":{"value":{"entity-type":"item","numeric-id":4945224,"id":"Q4945224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$EF7B90D2-84CE-40E4-96E5-227CA70EC02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e828e5e129d51b8575c30bc55db9c76d50bd294","datavalue":{"value":{"entity-type":"item","numeric-id":4824483,"id":"Q4824483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$CFFCCCBB-7548-4956-9292-2A0D092873F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b286d85c0ec526c88453b961ee0940519b5e9a61","datavalue":{"value":{"entity-type":"item","numeric-id":1780454,"id":"Q1780454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$CF1BFDCD-F76B-46EF-A1EF-D4F1C706DD3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfa47655d911cd54ec5a24c13fe6c4246d8dad9a","datavalue":{"value":{"entity-type":"item","numeric-id":5310679,"id":"Q5310679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$581194EC-8C3F-43B9-A5E2-363A4A5F778A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4708e646910c1a423c1aa79331d100939cf93cd4","datavalue":{"value":{"entity-type":"item","numeric-id":999264,"id":"Q999264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$AD82CEFF-2E6F-4587-B877-43EB30B5E253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$CFF4CA2E-E5FD-4AD8-8415-D4D6344DDD24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b05b18de27616ff2350cf767a17b5adca2f692b4","datavalue":{"value":{"entity-type":"item","numeric-id":3543292,"id":"Q3543292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$43C0D34F-250B-489C-A1D9-24723259E16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"980b878e989625d882cb488ac4152e9aca1e8752","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$BD97D5D0-293C-41B6-9DF6-07418C43FD78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0b9800fc34831d316e22ed5ebcc630401c60373","datavalue":{"value":{"entity-type":"item","numeric-id":4251916,"id":"Q4251916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$9C1574A4-BE5D-46D1-9644-EA97248AC87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c74e20c9157021aaf7d8167c88d779be5f8df1","datavalue":{"value":{"entity-type":"item","numeric-id":1233019,"id":"Q1233019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$08A4A866-CC7B-42CA-9207-B4D342AB74FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5444d62b61ec4f0092db6e9182c1367d48f1504d","datavalue":{"value":{"entity-type":"item","numeric-id":4362730,"id":"Q4362730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418179$0C605EDC-F316-47A4-A6DB-2D662F45B4AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47cf3a945cdfda2cfcf4ef57d392886e4fbe5e4a","datavalue":{"value":"10.1016/J.IC.2011.11.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418179$EAD2DB75-4C4C-4EA1-8537-8DE9BC9F1CEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35e20030e1e2604b48f6f0c042c9b004e04d7467","datavalue":{"value":{"entity-type":"item","numeric-id":5756667,"id":"Q5756667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae17771c599cd954be60476657069da4b9f4e571","datavalue":{"value":{"amount":"+0.9009199738502502","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":"Q418179$332BC05F-66FF-462C-A1C8-54464F59750B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d21bc5f5fddcb5d589bce6c36f0cb306f10470","datavalue":{"value":{"entity-type":"item","numeric-id":3543292,"id":"Q3543292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ae68eaf9d4492bdaf9dfe5c5fe51e6eb2b49f76","datavalue":{"value":{"amount":"+0.8979359269142151","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":"Q418179$C0EE6E43-967A-43CA-9A4C-B55A91545349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6eff8910ca6b1cc8dbe85b350ba7ef7d3cf9a3b","datavalue":{"value":{"entity-type":"item","numeric-id":974119,"id":"Q974119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6339d9907d3ddc608650ad1d31cdf3e180d55780","datavalue":{"value":{"amount":"+0.8817484378814697","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":"Q418179$0FD3EA7E-9534-4404-ADFC-4027B450F3E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bf872bb3bba1b6be35a5fa66604dac815550607","datavalue":{"value":{"entity-type":"item","numeric-id":5310679,"id":"Q5310679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a403d83bd06695c393eea4c3ffc983ad33593a70","datavalue":{"value":{"amount":"+0.8670896291732788","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":"Q418179$06875C73-F5D4-46A6-8B56-9F60F4A5F971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd2775779344775f046de491a50cd0b391d3f10b","datavalue":{"value":{"entity-type":"item","numeric-id":3434696,"id":"Q3434696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2271ad912fdf1323ed300b367bde0f61c14609d","datavalue":{"value":{"amount":"+0.8649587035179138","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":"Q418179$F3F46F5A-39FF-48DF-9129-A201B199CB44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Continuous time temporal logic with counting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Continuous_time_temporal_logic_with_counting"}}}}}