{"entities":{"Q2102939":{"pageid":2113682,"ns":120,"title":"Item:Q2102939","lastrevid":47787181,"modified":"2026-01-02T16:54:13Z","type":"item","id":"Q2102939","labels":{"en":{"language":"en","value":"Pardinus: a temporal relational model finder"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7632094"}},"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":"Q2102939$E0AF5AC9-75A8-4AC6-B0C2-5A186C3AE33A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"599d67a6468eee99d58bd03a69d2fb799d58ddbb","datavalue":{"value":{"text":"Pardinus: a temporal relational model finder","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2102939$0A9BA7BE-0932-40B0-B813-5146F7205296","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d55201fd9bd6ae88f728ca1f7ef109c171d99d8","datavalue":{"value":{"entity-type":"item","numeric-id":2102938,"id":"Q2102938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$4E2A0666-D305-48D7-84DA-49A41C006875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"116fa3f764527f5c8cd2c3e8bf7ba8070d0c57e9","datavalue":{"value":{"entity-type":"item","numeric-id":821562,"id":"Q821562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$CAAAD8FC-9D40-43B5-A4C4-D6398F5F106A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5420dc66195d2108efd0f0e647229d16dc08ea8","datavalue":{"value":{"entity-type":"item","numeric-id":821563,"id":"Q821563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$6EE6BF21-1F0C-4F4C-A669-5E6E3A188847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9801f923b605b4a1e8b3b3a4802c712c0b6280f","datavalue":{"value":{"entity-type":"item","numeric-id":532415,"id":"Q532415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$A57609EB-6754-4CF8-91AF-60F0D9D7C4BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$3B2C9DDB-8636-43F5-B151-213597FE819C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"864c812669f7b711965df21a240639cb0cf894cd","datavalue":{"value":{"time":"+2022-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2102939$08C0B071-768D-4E2F-8611-87F4F421B27B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102939$2698E78F-A181-453E-A48D-3324FB79FD39","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53f450144994cc2877acbe57b1e3e241fce3182c","datavalue":{"value":"7632094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102939$A3602CB4-359B-468E-94E7-8BA8A0B794DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102939$4AC66D43-8EDB-415C-844D-D908C4D54C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1e736ba7e5b127a0c37afaca4a8e9165a984d0c","datavalue":{"value":"model finding","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102939$FBD4FAE9-2510-4320-A93C-94B129C13D4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbdb85c6cc89bebe11d7c6ce2cac65d460c21ac6","datavalue":{"value":"relational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102939$34692EA8-4F58-4431-AB28-3749AB20BF50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2102939$F0111DC9-CEE3-4410-A433-1847E57E4C71","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$B4C87170-E837-4A50-8F5F-104F124CF82C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"efa7dfee3dd74aae04647605d0a9a987c7d566cf","datavalue":{"value":{"entity-type":"item","numeric-id":16316,"id":"Q16316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$EA28AD17-E122-4BBA-B3F0-947F190BDE48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41fc9cdab07636dca04412ef0070f1d13ce58f4d","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$33A06775-D50B-481B-BEEF-7FAB0BDF0BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$8D85B724-5686-40A1-9C27-6B196B82CDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$B76FDF61-398C-412F-A079-921977CF0D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$68C72966-7284-4792-AECB-4CA0942F13E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39ff802e52c37ddb274293e45a64a4779c861f43","datavalue":{"value":{"entity-type":"item","numeric-id":54202,"id":"Q54202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$ADBC307E-5AE3-4F49-9B5F-D895943A1DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a4e1fe9e7e19a9673e889bcce0afc1d800822389","datavalue":{"value":{"entity-type":"item","numeric-id":30365,"id":"Q30365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$C3805806-B618-417C-85FB-642BCA9F8B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$2EA640E0-2118-4B8D-B342-7F5CF4F811F4","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":"Q2102939$87244A67-7212-40F9-8D6E-96DED3582DC0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"665348e4188242406d7ea74b4be6cfdd4b938175","datavalue":{"value":"https://doi.org/10.1007/s10817-022-09642-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2102939$9790CF81-455B-49E8-BD24-0E043BCEEFF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b7855b4076ae981921fd18004628b535059755a6","datavalue":{"value":"W4295308793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102939$68B72D32-FD44-42E5-ACCD-0393C60D72B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9203382626459f5403873175e80fa3a2e850886f","datavalue":{"value":{"entity-type":"item","numeric-id":4417910,"id":"Q4417910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$EAA7E96A-8D56-49A2-A5CD-F2FF9AED4220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff22db2f81147d05f8884afa73b2e908248b3aa","datavalue":{"value":{"entity-type":"item","numeric-id":4176960,"id":"Q4176960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$193F676D-2D05-4EAF-B119-0212E15E8D33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af4b3700d00193a69b95f60680a360ab2d41d2cf","datavalue":{"value":{"entity-type":"item","numeric-id":5316437,"id":"Q5316437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$50F5209B-C4F5-4494-AD60-0722F324C1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f667935027a91d887eedfcc3c126d63ce54c15e","datavalue":{"value":{"entity-type":"item","numeric-id":2805273,"id":"Q2805273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$762D80B1-16EB-469D-9142-B7B708A208E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e10b94faed1369f0d6cedaf8543971a89c594ce","datavalue":{"value":{"entity-type":"item","numeric-id":5900668,"id":"Q5900668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$A1207B0E-FE4F-4BBE-9F79-81813939C682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0d81564fa4526b524982cd385001b7aafe6f1fb","datavalue":{"value":{"entity-type":"item","numeric-id":5096095,"id":"Q5096095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$A4329631-57E4-4951-9FF7-E8D43B71DF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f1c65c30c73b028165aca3e633d1a6f3c61827","datavalue":{"value":{"entity-type":"item","numeric-id":2405247,"id":"Q2405247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$40CE305F-294E-4477-9A7E-D82C03F01CE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"010a93a95905fad80722fce688d45772bdc36152","datavalue":{"value":{"entity-type":"item","numeric-id":2024373,"id":"Q2024373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$3849B0F7-5FB2-42F9-9162-607DFCA8D710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2b7aeeb2eb1ed5052bbab1c94c6b4a93f9c3be","datavalue":{"value":{"entity-type":"item","numeric-id":3454114,"id":"Q3454114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$9750C039-258A-4EF1-A532-2C2620B89B90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"339bd5f4a6db312c4439152afa9c074442e0842a","datavalue":{"value":{"entity-type":"item","numeric-id":2741511,"id":"Q2741511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$378ADF2E-F762-4362-B3E1-84EE297F4AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e2dbd1c024d492b6dfa954b304f9b8207b1591","datavalue":{"value":{"entity-type":"item","numeric-id":5758136,"id":"Q5758136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2102939$85C334F0-548C-4290-BF7E-54A2F6062037","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93c1edb576f837bf6f6461ee31f8f55b95902df6","datavalue":{"value":"10.1007/S10817-022-09642-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2102939$9775C51D-F24A-432E-9334-7AFE5C78B09E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"320b564d9f4f19744106617d05644e9d8840469a","datavalue":{"value":{"entity-type":"item","numeric-id":2956706,"id":"Q2956706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ee666681d4527532aa4400425477b19fda3f50","datavalue":{"value":{"amount":"+0.7217071652412415","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":"Q2102939$F6EBEBDB-7E01-40C5-BD31-5B95D76EB1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c7fcafc978887724a703456a7cb4823f9823f8d","datavalue":{"value":{"entity-type":"item","numeric-id":4417910,"id":"Q4417910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd5ff34ea0e44309f2c83a3a59f9b86d361b6340","datavalue":{"value":{"amount":"+0.7208682298660278","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":"Q2102939$BC25A751-04A5-40E3-9A7B-A017D7297A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b334be2cef79432c277cb66336f6ae8ed8247a6a","datavalue":{"value":{"entity-type":"item","numeric-id":4251979,"id":"Q4251979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d36e8c3f3a7abb2753fa35b1d27f66d15a1a7fd0","datavalue":{"value":{"amount":"+0.7070755958557129","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":"Q2102939$20944F7B-64C2-419D-BC8A-E63388433D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e3f1fd7085391b2515cafa46adeb3b52843387","datavalue":{"value":{"amount":"+0.7052658796310425","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":"Q2102939$B128CFC0-759F-43A6-BA43-BA6A77D80D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1efbdcc87bdf4d278948a3598f0651896e7d1486","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c939aea60c46043e92678bdb7e309987d0ab04a4","datavalue":{"value":{"amount":"+0.7020019888877869","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":"Q2102939$BC8DF77F-DBE3-41E8-AC57-A5770F3EA644","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2102939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2102939"}}}}}