{"entities":{"Q1615744":{"pageid":1626484,"ns":120,"title":"Item:Q1615744","lastrevid":74158644,"modified":"2026-04-14T18:38:57Z","type":"item","id":"Q1615744","labels":{"en":{"language":"en","value":"Dynamic contact algebras and quantifier-free logics for space and time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6969405"}},"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":"Q1615744$2F5AFCEC-B9DB-4B89-99E6-454A88927812","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6662ebb03997e527841a1dbe6a4de0a1a969da68","datavalue":{"value":{"text":"Dynamic contact algebras and quantifier-free logics for space and time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1615744$DA0BEEB1-39BB-494E-A473-1222F7B4396F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56f2337b55bbbf369025395bbb2cfaae49f4d8e2","datavalue":{"value":"1436.03165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1615744$71D209E5-34B9-46F0-B114-8897402B1A4D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b90b1e550b80ed636cd1d20aaf8c2f53b7ddf6d5","datavalue":{"value":{"entity-type":"item","numeric-id":1615742,"id":"Q1615742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615744$AB5D1AF9-3E4E-45A5-B8DB-D4C564B0E1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6455b26f29d16437e7b5ae1aa5c61ae456a7832","datavalue":{"value":{"entity-type":"item","numeric-id":1615743,"id":"Q1615743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615744$7194776B-FEFC-4821-AF37-E76217BBC91D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"91f1446dd2e948e5bd7c8b493f0c85fd16247dd7","datavalue":{"value":{"time":"+2018-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1615744$1A292EC2-8F3E-43DA-8A35-C2518AE001B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1615744$73EBC62C-7AEA-48E1-AADB-DE16CF871E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1615744$267FD369-D68F-4BD6-A2EF-26FD6B5B31EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"356853133c44f3f965777796699573d2b61c0ce6","datavalue":{"value":"6969405","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1615744$BD1B26BB-8E25-4419-8790-2599EDD2ADA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65bee47e0f2816d4de21f1806a01716db2fa92c","datavalue":{"value":"region-based theory of space and time","type":"string"},"datatype":"string"},"type":"statement","id":"Q1615744$135AC48E-76AF-45EA-842F-1ACA85F2D208","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"715d2d3bfc5ad929b2e858995fb624f09d0a20e5","datavalue":{"value":"contact algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1615744$2ED068ED-A052-4A74-92A9-576B3D84281A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"651411deb201857966bc2607166a02c9b042a7a6","datavalue":{"value":"dynamic contact algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1615744$52FA1AD3-8DC2-41B8-8490-41CFDFC72854","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1615744$8E5C6AE3-C032-47C4-A05A-98DCF711CB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1fb2bdb23813ec5615b70c7c2671445dbe46b91","datavalue":{"value":"quantifier-free first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1615744$B8FE1CBA-A695-4450-AAF7-0D5111F0434D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2ab26d510da739fbd70ad0d1d6b74dbdb31097a","datavalue":{"value":"rule-elimination theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1615744$D7BBB5AB-8CA9-4749-B8E5-6B30C9B9FF78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c7dde57dd2f8d7027b92dd08acdf4e2c0a6d2f5","datavalue":{"value":"non-standard temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1615744$00B9A689-399B-40F4-88C6-7671EBC410D7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"92be41bc4a4e20941cc3800d68c9eeae0e3cae9c","datavalue":{"value":{"entity-type":"item","numeric-id":16259,"id":"Q16259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615744$C992F04B-E41C-465E-B528-E0F6944C3722","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":"Q1615744$2D2299BF-806E-4326-B905-E6D473D4EE11","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"855597513f4b5b75f7f59d5a9c4ef4481838cb67","datavalue":{"value":{"entity-type":"item","numeric-id":3447202,"id":"Q3447202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615744$C1C7241E-D870-432C-9844-DD8C4F1C15A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab84bc520fb3ac5a6867ab393233abe7bfa7a901","datavalue":{"value":{"entity-type":"item","numeric-id":3416080,"id":"Q3416080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615744$491D1A29-A84B-414D-BF1D-58FE8181E464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8dd12aaab0d7ecef16749b8b68e183bfeec0cce","datavalue":{"value":{"entity-type":"item","numeric-id":2342312,"id":"Q2342312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615744$D4F7DDCE-A889-40C0-93E4-35859BECAC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"494a717fa1efdab485eb2865dd67440a6b12b669","datavalue":{"value":{"entity-type":"item","numeric-id":5445158,"id":"Q5445158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615744$71064FC5-2BC9-4E54-99F1-DCA1B0174CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a898b7c253f66474efbb6f1144b23dc3d2952ece","datavalue":{"value":{"entity-type":"item","numeric-id":5735229,"id":"Q5735229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615744$F535E1C3-B730-4AE6-90B7-268D547FB57E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bfa0aa2f6dcd136ab58ae247da8de494ca96895","datavalue":{"value":"10.17377/SEMI.2018.15.092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1615744$8F93B365-AE58-40DB-B950-C567C4455621","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1615744$268227EA-4F15-40DB-B65C-8B3F46B66CC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86fd021b92cc433f86eacc31f795297b694181e0","datavalue":{"value":{"entity-type":"item","numeric-id":3623939,"id":"Q3623939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df09d86faacfbad3066b193af5aff1a1079f035","datavalue":{"value":{"amount":"+0.8721458","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":"Q1615744$22484A59-F28E-49AC-B62F-7BD93E8410C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a70341c4e8d318cf5335765182d721d8aee7881a","datavalue":{"value":{"entity-type":"item","numeric-id":5100046,"id":"Q5100046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82013db2defa97aa664f144cd205e7c71f70f988","datavalue":{"value":{"amount":"+0.86848795","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":"Q1615744$2843A0D3-6946-4130-87F3-875F8473661B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63d7850047c89a04d964687f56f362c57420bc0c","datavalue":{"value":{"entity-type":"item","numeric-id":4924535,"id":"Q4924535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4ed4a9b64365c87f864cc06d7918c0f2edf33de","datavalue":{"value":{"amount":"+0.86823344","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":"Q1615744$504C9973-998C-4E26-AED4-038C20FED79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d98489b5f412860292b9f6d032228702cfd6acfb","datavalue":{"value":{"entity-type":"item","numeric-id":4580328,"id":"Q4580328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb2799638a6ccce5600cc50e5fa5d41cc3a448b5","datavalue":{"value":{"amount":"+0.867789","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":"Q1615744$6A12CF4F-80E2-44B5-91E7-A637B8E02FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dec93703fc8b3edd39ba1a7e8fe50c9aaff607f","datavalue":{"value":{"entity-type":"item","numeric-id":643108,"id":"Q643108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c60e393f8652402ce67051597f3528920c31b93","datavalue":{"value":{"amount":"+0.86624813","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":"Q1615744$EF32FE9D-7DDB-4957-97BB-6AEB5F6655C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be1aed6e5c14c75c02baea5233978724af3c3a31","datavalue":{"value":{"entity-type":"item","numeric-id":868030,"id":"Q868030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8bf8efd13f7c768919e48bc0e6764d05f75fc9e","datavalue":{"value":{"amount":"+0.86541784","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":"Q1615744$7D11B12B-5407-4FDD-825E-392988AC936A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"148aedc62ba4ca33e660fb9156583006a1587ef7","datavalue":{"value":{"entity-type":"item","numeric-id":904480,"id":"Q904480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ace3c8428f7ad044c6611698cf3c7974f280fd85","datavalue":{"value":{"amount":"+0.8634926","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":"Q1615744$A78D3CD3-17EF-4180-92BF-EF5AD26B3115","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47c06d1ad39adf44726a2bf99a0e6ac3c188977f","datavalue":{"value":{"entity-type":"item","numeric-id":2827488,"id":"Q2827488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb52feef750cb1919910a849afea73a9910fa97b","datavalue":{"value":{"amount":"+0.8626766","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":"Q1615744$1A84F200-B083-4199-BF2A-987FB3D3834E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad9266b9bfb80b4f28451136f50defbe991aee62","datavalue":{"value":{"entity-type":"item","numeric-id":3457709,"id":"Q3457709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752a677ebe25ebb23d3c906bdec91b49a0774de6","datavalue":{"value":{"amount":"+0.86239177","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":"Q1615744$303A1325-28A1-4945-A92D-763EAED8809C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dynamic contact algebras and quantifier-free logics for space and time","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dynamic_contact_algebras_and_quantifier-free_logics_for_space_and_time"}}}}}