{"entities":{"Q2566298":{"pageid":2577041,"ns":120,"title":"Item:Q2566298","lastrevid":48555304,"modified":"2026-01-05T05:14:48Z","type":"item","id":"Q2566298","labels":{"en":{"language":"en","value":"Temporal stratification tests for linear and branching-time deductive databases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2207471"}},"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":"Q2566298$DC2482CD-BA6E-40DE-84F9-1B7B272FA466","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6bd3847eb9767362574c4454a38cfd4befe83b3b","datavalue":{"value":{"text":"Temporal stratification tests for linear and branching-time deductive databases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2566298$355BA348-F698-4E1F-BE28-B6661B8C1F58","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2b1393e568c4c0bc70d1f974bb31520ceedf3b5","datavalue":{"value":"1077.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566298$B113094F-26BE-4539-8449-6AA5C7A5DE76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eabe44788d95d3eeb614879e9f2cbd05912d1c01","datavalue":{"value":{"entity-type":"item","numeric-id":345701,"id":"Q345701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$A014B374-DDAF-47BE-BEC6-C59C3DEEDD53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc397ee761647537d18191e49156594f1ff1e719","datavalue":{"value":{"entity-type":"item","numeric-id":169899,"id":"Q169899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$EE3D68EF-DEFC-4B31-8820-F55B013CD785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc344ffb9f54d04a2fdd2418198db129910e72b1","datavalue":{"value":{"entity-type":"item","numeric-id":169898,"id":"Q169898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$9ED967D7-4566-43D0-91FA-58A37D9AA2A6","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":"Q2566298$9610F783-B32C-4D11-A0B7-9FD3FE9970A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec9da92ba7b4e525d61f27d0c249399f1779b4c","datavalue":{"value":{"time":"+2005-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2566298$915EC8F8-6726-4919-980B-10D2558D8089","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566298$41CD5EB8-1036-4124-890A-0EE069EC1390","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06c8c46d66a051e1976876f6a188cb2c92966b8e","datavalue":{"value":"2207471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566298$4E8A17CC-2E1B-47E9-86F4-DF914C0895E0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13b08265745b312d15d896c2c1f5535ab67e1f8d","datavalue":{"value":"Temporal deductive databases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566298$35368699-59D3-4919-ADEE-4441BADC5715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92489b3af87588e66fa0a99dfb446c67adec9168","datavalue":{"value":"Temporal logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566298$54362A0B-C0D9-4FE6-9FCF-FBB0A248FD96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7d2700e566a675fe476c03d78ea5a74d6d89934","datavalue":{"value":"Stratified negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2566298$FDE25E58-D055-47B1-9B9B-C4DDB04951CB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e5f03ad14f8565d93112bf50bde5012e75c18a3f","datavalue":{"value":{"entity-type":"item","numeric-id":15444,"id":"Q15444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$F45F3BE3-D5A1-4D85-8AA5-AA9B71A11AFC","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":"Q2566298$D5D87196-D3E2-4ECF-B9FC-1C99516DC9D7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5cdc30c8d217311de6e17805266875529638778f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2005.05.014","type":"string"},"datatype":"url"},"type":"statement","id":"Q2566298$D165ED88-F3EE-4123-8258-BB4639BE6D1A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2020f3836e4aff9909375fa081fd9e553fcdfa87","datavalue":{"value":"W2049272900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566298$45635173-D146-48CA-9131-C08039A8703F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$A0229632-F509-4222-A957-0A60A722906C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24b41efbbcc81bc015cc77f5e4a1b7d93ed9ce59","datavalue":{"value":{"entity-type":"item","numeric-id":4452592,"id":"Q4452592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$773C0EBE-4774-4D3A-AF36-BCDE98E41784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62803e9ce76b1af1e3ac5f31a7cb7fd998ad8df0","datavalue":{"value":{"entity-type":"item","numeric-id":4318639,"id":"Q4318639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$84033776-EEEA-4DE6-BA8E-F0AC96FC8622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72c79a71999990452364972816517a23b383bbf7","datavalue":{"value":{"entity-type":"item","numeric-id":3128527,"id":"Q3128527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$7E3E5F11-E6AB-4D01-828C-8B5B69F870CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11eefd7e7dc86c1755a8db4c6825e6e9fdeb6d39","datavalue":{"value":{"entity-type":"item","numeric-id":3619797,"id":"Q3619797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$28726D49-8646-40EE-9176-592969476E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc0e8163b1cc59cd0372ae78b75cdf8e0d4a3fac","datavalue":{"value":{"entity-type":"item","numeric-id":4729348,"id":"Q4729348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$72169655-83DD-4EB5-B754-54C9E4669482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ec822cb4b3b80ea274e5686cc8fbd9cf7982957","datavalue":{"value":{"entity-type":"item","numeric-id":3022009,"id":"Q3022009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$D34D94B5-39B0-4318-A72F-69253C846781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751bb518407806a0775e238de3cb997abdfa1f23","datavalue":{"value":{"entity-type":"item","numeric-id":1324287,"id":"Q1324287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$5D4B25E2-541A-4859-A93F-220133D5CAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f44150bf5f8b9a18037b1fe7ce1cf57190c903a","datavalue":{"value":{"entity-type":"item","numeric-id":1099629,"id":"Q1099629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$41572237-5D32-432B-92D4-4EA235FE9F97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdb911d5a2c35fdd91c366e9ffb1f7e735e7778a","datavalue":{"value":{"entity-type":"item","numeric-id":2758303,"id":"Q2758303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$17E9CA64-C9CC-4F25-9F99-6C3246773395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03dcc815537b517cc71ed958068897d2b199f6d8","datavalue":{"value":{"entity-type":"item","numeric-id":3339245,"id":"Q3339245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$D6CB2F8C-1CB2-4D13-94D1-5485799CD31F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27bad6bba4c6eea06084c8251bcdc2421ef6ef9","datavalue":{"value":{"entity-type":"item","numeric-id":2566298,"id":"Q2566298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$9FF4F11E-0AD0-42FF-9778-F08CDBC2BA89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e9622e947104151d696e9c4af121c2448ea8528","datavalue":{"value":{"entity-type":"item","numeric-id":4518440,"id":"Q4518440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$4C2D10F4-768E-4E69-83F9-6C9A4E67A060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07611ee42a8009bb3ba13ff374bfec46fd7c5518","datavalue":{"value":{"entity-type":"item","numeric-id":4015949,"id":"Q4015949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$6C717195-5B69-4885-BE18-718850CAE6C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4211576453e59718ffde6e01956af09dc5aab02","datavalue":{"value":{"entity-type":"item","numeric-id":1199536,"id":"Q1199536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$AD8334EF-39DE-4F55-AC98-9DC6F3519307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff2da3e72676be109df5ee92470461bde35622c6","datavalue":{"value":{"entity-type":"item","numeric-id":4808806,"id":"Q4808806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$ED99F281-A73C-4FC7-A0C3-E96A7FAB28DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0425c0d083fcab621e3600d7dcfaeea3f70a92e2","datavalue":{"value":{"entity-type":"item","numeric-id":3484349,"id":"Q3484349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$998DEB66-5F22-40B5-B66D-421E04DCC5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"430c55748ea798d0b94070d5f52c91e59b4fa220","datavalue":{"value":{"entity-type":"item","numeric-id":3348437,"id":"Q3348437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$04796A43-B071-4830-8D9B-374DDC38FF40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59a748a7caf54423dd6270ed87c3042f8785cfd2","datavalue":{"value":{"entity-type":"item","numeric-id":5940935,"id":"Q5940935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$CEEC6806-2394-46F8-A182-35C491C6B507","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3197a703aa01df31e7a3196aec5857acf58a1554","datavalue":{"value":{"entity-type":"item","numeric-id":5952811,"id":"Q5952811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$2AB682BB-C14E-4944-9D74-D93586350F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b83f8ec113eaf5868a07f1d428489aef79179687","datavalue":{"value":{"entity-type":"item","numeric-id":4719299,"id":"Q4719299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$D6255F9A-E49A-4337-932D-89B4099B3809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfea2af600fad5f786275f5d6ea03d272147ec0","datavalue":{"value":{"entity-type":"item","numeric-id":4342504,"id":"Q4342504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2566298$D323357A-19A9-450E-8A9C-B5AD396135D3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"724ab6abc9e77b2fd50ba7b43fbc443cd3bb0b76","datavalue":{"value":"10.1016/J.TCS.2005.05.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2566298$AFFA9E92-C0E6-433C-A9CB-C6B6E700B7C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d26bb5adbadd13260d0c7c71598d5dc3c0590f","datavalue":{"value":{"entity-type":"item","numeric-id":2758303,"id":"Q2758303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0117ad6dcf9e6f85d5c3f4f41e424123daa25084","datavalue":{"value":{"amount":"+0.8066158890724182","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":"Q2566298$93AEE47E-DF82-4732-B4D0-2C608CF1A6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab9a7bfa3b3863035dd605aa9263b2ad56de540","datavalue":{"value":{"entity-type":"item","numeric-id":3348435,"id":"Q3348435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9836e8c9d6edd2408ad6a25c52a2ae0fe0d3780e","datavalue":{"value":{"amount":"+0.7815199494361877","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":"Q2566298$E4B2F50A-CDF5-4313-91D4-CFADCDAAFE3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa4b3c73b22429cee38600ae79ea12d83fb81cba","datavalue":{"value":{"entity-type":"item","numeric-id":2734948,"id":"Q2734948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d296153174d55a2b7ba96895a7715d8986898cfa","datavalue":{"value":{"amount":"+0.7743467688560486","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":"Q2566298$9D969843-5B84-4275-A121-44AAFBA6B4C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438e1de65106aa2ce1e1c0fa282d6bcdd0b4ace1","datavalue":{"value":{"entity-type":"item","numeric-id":5940935,"id":"Q5940935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67ac96c07a6aa66bb75e1454aebbea4f93b8392f","datavalue":{"value":{"amount":"+0.7667380571365356","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":"Q2566298$D749FDE3-2081-4F06-9C53-3E8873783E71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"215f0072863e6b05e1636ff09c29750946e91bba","datavalue":{"value":{"entity-type":"item","numeric-id":4003507,"id":"Q4003507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14bbe59956b01651eea3e0a52593c4dfe6234b08","datavalue":{"value":{"amount":"+0.7665420174598694","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":"Q2566298$7E856B90-6F48-442C-8352-381602277649","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2566298","badges":[]}}}}}