{"entities":{"Q673958":{"pageid":675807,"ns":120,"title":"Item:Q673958","lastrevid":63721539,"modified":"2026-04-11T15:06:15Z","type":"item","id":"Q673958","labels":{"en":{"language":"en","value":"On Gabbay's temporal fixed point operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985856"}},"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":"Q673958$39EEC56F-504A-4037-84CB-A4F4767207FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d156a1545f75a21a86ba20f90ce383cb78b5d572","datavalue":{"value":{"text":"On Gabbay's temporal fixed point operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673958$5E1EEF34-97A2-4BB3-B003-7110C94A349D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"845abce1a765b88ed78488b579d3f17206e83d92","datavalue":{"value":"0874.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673958$6DD33507-A8BE-4080-A68D-7166F469618E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8dff2859c4aa8eb53f152dd5ae2019a17801211a","datavalue":{"value":"10.1016/0304-3975(94)00084-V","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673958$72A6530F-5D7E-46DE-B9CA-0895AE521585","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":"Q673958$B955EFCC-347C-4F23-B23F-49F071FA7D26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673958$926E572F-AEBB-47F5-B28C-D79C57ED950E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673958$E1435A8B-6C31-47C3-B48D-0C645A0A0CD6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"603d9b484db07185288bc8da048e633bc5a633cc","datavalue":{"value":"985856","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673958$E308E425-384D-4EF2-A4B6-5B008F786F1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97d5c59cfba621aebc8dca06b9f524c7489c7f77","datavalue":{"value":"USF","type":"string"},"datatype":"string"},"type":"statement","id":"Q673958$8AA85253-641A-43BC-8263-D980658C9364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0374732af572a41d37ccd90be8b4badf4289870c","datavalue":{"value":"PSPACE-complete satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q673958$A185C110-BFC5-42C3-9C9C-605B0EA9C277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"070ccbdf1e1de3fc2e113f240ac9624f59fb9232","datavalue":{"value":"MetateM","type":"string"},"datatype":"string"},"type":"statement","id":"Q673958$117DD22A-E16D-475D-BE66-E067DA3493E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dba48006b5c8e496f7eee02dd0edb814c74265c9","datavalue":{"value":{"entity-type":"item","numeric-id":912841,"id":"Q912841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673958$8689BA7C-AB71-492B-87DA-738DD8CCE498","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":"Q673958$F839525F-3981-469D-9E21-A73FBFF647E8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673958$A8935F23-3F7F-4A90-84D6-7E2181A1D760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2138ffa5ca3eabca6f9aba6811963bb0c9c43f6","datavalue":{"value":{"entity-type":"item","numeric-id":4281254,"id":"Q4281254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673958$2599CA0D-6D70-4A92-96C8-8722FD304026","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":"Q673958$78817113-DBCF-4297-9DB1-1547ECC71E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534f3cb2e0a274acadf12552ba464789a4b4a205","datavalue":{"value":{"entity-type":"item","numeric-id":3322069,"id":"Q3322069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673958$D1B2BF46-1855-4615-8304-307777B58D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5aa94c8e45c27c05c3a12795740c87d5e2ef2f","datavalue":{"value":{"entity-type":"item","numeric-id":5613960,"id":"Q5613960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673958$092A6F90-A4D4-41D6-9A85-F005C848C7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b9c27895a05e7efc0ba11535ec69bb37bbaf67f","datavalue":{"value":{"entity-type":"item","numeric-id":4518419,"id":"Q4518419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673958$2B704C69-858F-4C70-81E8-7A2063C7F307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673958$4BA367A6-7643-4619-8E5F-4EBC5DEE5606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0347952aabca9ce306eb86ad4cc4da0efdb64958","datavalue":{"value":{"entity-type":"item","numeric-id":4518421,"id":"Q4518421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673958$6C0756FC-25E8-49C0-8473-02652165C1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673958$B9551E1E-0724-4225-B850-F56E3975A0C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673958$AE8F4308-7F3C-4115-A391-2095925721BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"12e0ed6513d1df8c7847e7ccceeff179968add97","datavalue":{"value":"https://doi.org/10.1016/0304-3975(94)00084-v","type":"string"},"datatype":"url"},"type":"statement","id":"Q673958$E0BE3A9C-CC2D-42C6-A2EB-C5C4C05CC199","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40c56cdd7468e037e3d4014ccc5ca403f2ea81eb","datavalue":{"value":"W2111376785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673958$7FF8715D-14A5-4F27-AABD-9BCBEECAA2D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdfefdd64c7c2201bf35664408901f71a1c56618","datavalue":{"value":{"amount":"+0.7597711086273193","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":"Q673958$D1D513B3-DF00-4E01-B1A8-EA2D05145EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e023f813272b5895fae615af14a6b7b4a864a389","datavalue":{"value":{"entity-type":"item","numeric-id":4236210,"id":"Q4236210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adfc80a568fb7c97edbc1bcc587df38425f5866d","datavalue":{"value":{"amount":"+0.7486666440963745","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":"Q673958$6E105F44-9D25-4BCC-B09E-3B5EFEE0DEFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f969798b26a0c8600011a4921f72be81bb4a42","datavalue":{"value":{"amount":"+0.7484375834465027","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":"Q673958$E8341F57-BCF7-4424-A1CC-B866BE2CB275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"691d7fe8f3d4d3417be9a6c845572a4811be73b9","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa49835adb29c02d346a875ba9e4df41867afb4","datavalue":{"value":{"amount":"+0.748106062412262","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":"Q673958$60E3A8BA-9BE8-4556-B824-A66F8740BCD0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On Gabbay's temporal fixed point operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_Gabbay%27s_temporal_fixed_point_operator"}}}}}