{"entities":{"Q1350524":{"pageid":1361263,"ns":120,"title":"Item:Q1350524","lastrevid":67664238,"modified":"2026-04-12T19:13:17Z","type":"item","id":"Q1350524","labels":{"en":{"language":"en","value":"Completeness of a first-order temporal logic with time-gaps"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 984050"}},"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":"Q1350524$B124B01C-1328-44FC-9F15-0EF7AC1F9341","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae6ddb093afd7211ab8a0eac9bd8cbd376d99ece","datavalue":{"value":{"text":"Completeness of a first-order temporal logic with time-gaps","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1350524$F414F07D-394C-4010-A738-B6AA5AFEF93E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51d9942f7ab5fdbd7ae0b46995c8b5ebb1b4e7a1","datavalue":{"value":"0872.68171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350524$A3036D70-3DD9-49D7-8B82-0E161B3214E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60ccc4816bb24acc2aa669fedb620a1c7dc69e13","datavalue":{"value":"10.1016/0304-3975(95)00107-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350524$1F8B8C9D-A717-47CC-AC29-26D1BD3AA9C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec91c84374e1970ffeb850b5b07163b4a998968b","datavalue":{"value":{"entity-type":"item","numeric-id":167059,"id":"Q167059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$3E075C5D-64B9-4180-B04E-15EBC4DE2D86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$C1F4A0DD-908A-4F6B-8B4A-69C55C5FE780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37b019e89cb08882c4fda7783a360d1728596378","datavalue":{"value":{"entity-type":"item","numeric-id":288246,"id":"Q288246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$1333106F-5C79-4F49-8BAC-C5663D447BAE","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":"Q1350524$1335C469-26C5-41E9-AAEB-2858EAC86D7F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b79c82e669aca3d97718bc55c57512b326a2a4ab","datavalue":{"value":{"time":"+1997-02-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1350524$F3A3D4F5-0DAC-4928-A757-C17CCCDB7688","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15df26f800447bbede1167cc27bf92c2cd6bb358","datavalue":{"value":"https://philarchive.org/rec/BAACOA","type":"string"},"datatype":"url"},"type":"statement","id":"Q1350524$4367C35A-BB20-4DF6-834C-ADECF95C9257","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350524$8F06F13B-3982-43B0-857C-6DFEC07AB632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350524$136484ED-181C-471A-B4A0-DB55B5CE0844","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce959d2faa7fb49be0f2b0847105e90a4ed2cbc2","datavalue":{"value":"984050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350524$80E509F1-1C46-4769-905F-6086024D4D7F","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":"Q1350524$928EBE65-0AB2-4D01-B88B-CDD967D16AB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7eee91a2a2c1c59dc7d79159fa706571de798d07","datavalue":{"value":"W2016280880","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1350524$69E9572C-46F8-40B2-8C69-F5416D0C6436","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c411f40bd3fed70a734570dda325013084ac01","datavalue":{"value":{"entity-type":"item","numeric-id":5525343,"id":"Q5525343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$B96218BC-7296-44B0-8A72-683CDBB73528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$AD289AA5-16A0-4C29-93C0-BCE3B38C2242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"121c2b77a2e6f0b6bdb52f35e082e117e95f7c7d","datavalue":{"value":{"entity-type":"item","numeric-id":5287696,"id":"Q5287696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$F918DB4E-52FE-4DA2-B6B9-5A1F7D71FC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68beb758483bc11fdcbf81a9d0b08ca173df35df","datavalue":{"value":{"entity-type":"item","numeric-id":3848194,"id":"Q3848194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$E825D000-E69C-4BD0-BD3D-2373AB7F2EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74833c204341d9aa9ef14997fbac19d0e7da176d","datavalue":{"value":{"entity-type":"item","numeric-id":3749040,"id":"Q3749040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$8DDCF87E-F708-48C7-A44E-6377E7830F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bb963f0dbfd28b3eb0930566966152abf270c19","datavalue":{"value":{"entity-type":"item","numeric-id":915718,"id":"Q915718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$36D0D268-F0CB-49CC-AECD-3F6E01566893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a00dcda073e9852cbf1dc59948de38c125b00b","datavalue":{"value":{"entity-type":"item","numeric-id":5560279,"id":"Q5560279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$5E370BF9-5DC8-4B72-BCA5-C45E03DA9178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$78F1199E-EDF7-477F-B82A-5534C0830D3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cc5131b0b7964726299b118b83461f6bf3bdb2","datavalue":{"value":{"entity-type":"item","numeric-id":4325774,"id":"Q4325774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$9051857C-58F7-494A-9D9F-E30336847FE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aaa7c2a801938246bc5b9c35ae533855c08aea3","datavalue":{"value":{"entity-type":"item","numeric-id":1090673,"id":"Q1090673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$7779AB2F-AEEC-4C96-BBA1-D66ABB82158E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d9456d9b3e59e143f5e55b694b92114428f6e73","datavalue":{"value":{"entity-type":"item","numeric-id":1123184,"id":"Q1123184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$C2B9BC48-6E6E-4708-B7F1-0720349DC6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb85fce914d6445945ae728d76ebec8de3d59a36","datavalue":{"value":{"entity-type":"item","numeric-id":5573368,"id":"Q5573368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$E77EDA46-7609-4808-A865-C6D68480F5F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f148de05de98f52f121398c20edb4b8bf5cdb4","datavalue":{"value":{"entity-type":"item","numeric-id":1340963,"id":"Q1340963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1350524$1BD4F8DD-2082-4FC6-84F2-18344A1B0649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d522737c03cf2810b6aff4aa4f7638204474fb","datavalue":{"value":{"entity-type":"item","numeric-id":2791888,"id":"Q2791888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a055a00ac6a6a2049573f6f52d9e8cc2a05a6cac","datavalue":{"value":{"amount":"+0.8190538287162781","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":"Q1350524$AF7BC6B2-B543-4F53-A5C0-FA14EB38EAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"081bd63286da1909b7245ea381f5077097f31ff7","datavalue":{"value":{"entity-type":"item","numeric-id":2913981,"id":"Q2913981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95cf2a8c9e6b02f2d0fdc5ff7a67e28e06feff20","datavalue":{"value":{"amount":"+0.8105279207229614","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":"Q1350524$88B121A6-C722-435F-BF88-8211266B9954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a6aca9a5039fba5f216bd8e6614355e9eea4c82","datavalue":{"value":{"entity-type":"item","numeric-id":4275689,"id":"Q4275689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6fd91784a83f5a741a901c0c95ad1d09f17fadb","datavalue":{"value":{"amount":"+0.8010604381561279","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":"Q1350524$313A1E7E-92B2-4E23-B92A-A462A525CD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfdba434b9f705aaa04b3cd0d8cd1be663473a56","datavalue":{"value":{"entity-type":"item","numeric-id":5930981,"id":"Q5930981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7abbbd9bf665193ecbe97b7655c71b449acb69c9","datavalue":{"value":{"amount":"+0.8001036047935486","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":"Q1350524$A76D7064-3C5B-4251-829E-286C1DA36EEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Completeness of a first-order temporal logic with time-gaps","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Completeness_of_a_first-order_temporal_logic_with_time-gaps"}}}}}