{"entities":{"Q4611678":{"pageid":6641261,"ns":120,"title":"Item:Q4611678","lastrevid":82230548,"modified":"2026-05-06T20:24:41Z","type":"item","id":"Q4611678","labels":{"en":{"language":"en","value":"Tomorrow\u2019s Sea-Battle and the Beginning of Temporal Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7003785"}},"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":"Q4611678$591FDC75-8E49-417B-A8DE-CD29F0048125","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"73f1f737edce1fd851ecb947f02069452b616e7b","datavalue":{"value":{"text":"Tomorrow\u2019s Sea-Battle and the Beginning of Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4611678$5D4A2F73-4450-469E-836D-A2AF68798CE1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56bf6bd7424f74c35aaff54e5782c30267295fae","datavalue":{"value":"1406.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611678$51A7AEB4-7163-4864-A3FF-642E7A8A9E1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7ee64611d43e61b245292b2bc0fa378ce468d67b","datavalue":{"value":"10.1007/978-3-319-65430-0_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611678$C360A444-7561-4972-9A17-C4CF13964621","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4410c55f85874675a6e56a8f45e05d12d1fce05e","datavalue":{"value":{"entity-type":"item","numeric-id":4557965,"id":"Q4557965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611678$C10BCAC8-BC3A-4B66-BB3A-66B36BF0CC4F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b747cf0c9bd19fcbc5688fe3c3f4334a261bd34a","datavalue":{"value":{"entity-type":"item","numeric-id":371439,"id":"Q371439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611678$DA651664-C828-4C63-9FAB-9A20B9F7F573","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8fff9bd45b0fd47846e73735b339a81986d60014","datavalue":{"value":{"time":"+2019-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4611678$AFE26F16-1ED4-47E1-BDDC-48F94941C1C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611678$6E7354F0-3577-428C-9C66-507CFCDBBD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611678$6511F7BB-3B5C-4E6C-B22B-EF2B6F3A9DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611678$CD3441D6-BBDC-45E8-A6D0-E48E78C97BF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611678$197E8EF7-299F-49A6-A6C1-0C523901941E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4ec3f9ce6fe0ed9bac16969f40dc85da051e49bb","datavalue":{"value":"7003785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611678$D3345A42-CFCC-4771-8374-40257B2B29D0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09e51eeb9fd6ea0d8927cdf1dde28afd9a349aa","datavalue":{"value":"tomorrow's sea-battle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611678$65BEC780-656D-4FE5-B4C1-CD6D0A1B17A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4611678$94C4E3CD-E104-412E-8BDD-FE704D576BBB","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":"Q4611678$98817FE0-DC10-4BC3-9013-645F90350293","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fde1dbd5d3474ac6131e59d570aaddea54208916","datavalue":{"value":"https://doi.org/10.1007/978-3-319-65430-0_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q4611678$798EDC41-57A6-44A1-8AA3-16A2C476904F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5b1d8b398604fa8aabefe5df839e3b66696f9d13","datavalue":{"value":"W2808201338","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4611678$77F41710-A551-4D30-8CAD-B850145C5CE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"94153516c0a44530843b9b9ac5dd12a19baf3c18","datavalue":{"value":{"entity-type":"item","numeric-id":1918904,"id":"Q1918904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611678$40F92B55-476F-49DB-A701-5F5C2EA94805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3d35476398bfc19ac525fcf8cc705847ade8c75","datavalue":{"value":{"entity-type":"item","numeric-id":2998257,"id":"Q2998257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611678$D1349F61-F176-4693-82C7-AD4564EF5203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d2809f117f932fb2c4f9205b1cdb5952610f9f","datavalue":{"value":{"entity-type":"item","numeric-id":5613169,"id":"Q5613169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611678$9BCF94E8-DCC0-4E06-B2CB-DAE769C0FE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611678$8DB0A71A-0976-4770-B44C-4C298DE09AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611678$15F6C6B7-E89E-4D7C-BF1E-810A0D11587B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a4e10b4f29a81fca6ef84c43e9249a3d4fba6ae","datavalue":{"value":{"entity-type":"item","numeric-id":5636857,"id":"Q5636857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4611678$18B4FD91-F198-4BB5-BD79-14D80D855CF6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"764f2de9d220cf136ef7947f96c1b87ef4857369","datavalue":{"value":{"entity-type":"item","numeric-id":5224578,"id":"Q5224578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0b7bb1d49cfcbdb5fd97c5537aed5eaf7346b3c","datavalue":{"value":{"amount":"+0.8854091","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4611678$614E5304-11D2-4623-B9C1-8A65D217C819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96239a973a0e33d1f7fec3499d31262df1b4b516","datavalue":{"value":{"entity-type":"item","numeric-id":4299300,"id":"Q4299300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc89407acb01b2db436cb1428d52fbbf97830f64","datavalue":{"value":{"amount":"+0.82865393","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4611678$22580260-BFAD-4903-B55B-D9FB6545CF80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e97f7ce83533b5569429c58e154cbb2aae7dce4","datavalue":{"value":{"entity-type":"item","numeric-id":2947179,"id":"Q2947179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9dffc1a16349d9ece87e18df5896cce9375874e","datavalue":{"value":{"amount":"+0.8278259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4611678$75449F26-3C7B-4021-93F6-75DC230E5993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c3d1c7aedec1525916a0eb1cdb6c9af811cc044","datavalue":{"value":{"entity-type":"item","numeric-id":2117656,"id":"Q2117656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae6b2973102b37b5a94398b57d688489c08b4ce5","datavalue":{"value":{"amount":"+0.82652974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4611678$C1B8163F-5D58-46B2-A7E3-579682C1FF0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36eeac1edd124738f9069011e5262451b259120a","datavalue":{"value":{"entity-type":"item","numeric-id":1918904,"id":"Q1918904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf0d7a291258a70282d0f694c02961082577ec5","datavalue":{"value":{"amount":"+0.82270473","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4611678$8AF67279-B940-4F9A-B60F-224BE8AF62AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9e2cb8ebc963c111445a39a6380220c85041fe0","datavalue":{"value":{"entity-type":"item","numeric-id":1604669,"id":"Q1604669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad64366fc3c552cfeaeeab1e903af7b354803adc","datavalue":{"value":{"amount":"+0.81657386","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4611678$0F548FA6-089C-43CA-9051-2B1BFAC5CDB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6de85801234ad6fabc06ac792456b2d15af34f","datavalue":{"value":{"entity-type":"item","numeric-id":2987731,"id":"Q2987731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edb892ca1a66afa217f4915743b04c74355bca08","datavalue":{"value":{"amount":"+0.8110984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4611678$B1E26692-5B05-4410-9C90-FD3D2C88B7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27c27fc0638b03eb6448b0b858abf7c1b49b2817","datavalue":{"value":{"entity-type":"item","numeric-id":3835441,"id":"Q3835441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"132e5a5a93da884be35f8b3e96831405c063f05f","datavalue":{"value":{"amount":"+0.8072866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4611678$023FFDA0-E963-4E6A-A04B-FFACCDD09D25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"daf6b8f91fb16ea93d824f7d61c49aa5a596c386","datavalue":{"value":{"entity-type":"item","numeric-id":1186428,"id":"Q1186428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"681e59532f6085c28614371e78cc799de0ae20db","datavalue":{"value":{"amount":"+0.80634904","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4611678$19D8A1AB-E058-40D1-B2F5-4F7244A28D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"475645f2b3ef969c2255c4dc53f1e801403e9daa","datavalue":{"value":{"entity-type":"item","numeric-id":2848071,"id":"Q2848071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ffbdd87c901a6bdc06a8150d897aef93a6938b2","datavalue":{"value":{"amount":"+0.8044474","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4611678$E650E44A-27CB-4028-AFD6-D19D2142F31F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tomorrow\u2019s Sea-Battle and the Beginning of Temporal Logic","badges":[]}}}}}