{"entities":{"Q3418090":{"pageid":3428793,"ns":120,"title":"Item:Q3418090","lastrevid":50014693,"modified":"2026-01-12T15:56:42Z","type":"item","id":"Q3418090","labels":{"en":{"language":"en","value":"A finite model property for RMImin"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5121222"}},"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":"Q3418090$363EF2D0-F7CA-4801-AF85-442ADD19A7C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a349c41b98bbead54f1c3fbda7f9373865f46583","datavalue":{"value":{"text":"A finite model property for RMImin","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3418090$9CF18C28-D4FE-4AD8-A59A-CE76DDE19787","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c05035dd54cedcfc7457cce4e896a3c423d38928","datavalue":{"value":"1110.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418090$927BEEC4-4729-4938-A45D-FCBF06359107","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c9406800f17c15119b59b93322c3352ccb1c91c","datavalue":{"value":{"entity-type":"item","numeric-id":1047101,"id":"Q1047101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3418090$E74EBF19-2DE7-43F6-9A91-89A12BCD12F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b7351c665d8ce77351eed18ff10ea849a82e757","datavalue":{"value":{"entity-type":"item","numeric-id":995380,"id":"Q995380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3418090$B3758211-8B98-4188-815B-5BFF9D0314A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4a6458f05f6f6374b3dafda2fe141b0e0926b499","datavalue":{"value":{"entity-type":"item","numeric-id":3159398,"id":"Q3159398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3418090$8173D9F3-3241-4295-96FB-418BB24916F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"539267c31a7d3bcf05b384ccb35bcc69e5255213","datavalue":{"value":{"time":"+2007-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3418090$1927214B-1C92-40D6-BEE8-C4BCE269D452","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418090$51093F02-3842-49E3-90C2-94BD3F330856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418090$653A160C-670D-4FE1-A1D5-7EFD3B3C026F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418090$466606A1-9FC9-4466-92C2-165D5CC6E0FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418090$6FBDD26D-758A-4E3B-8AC4-039963212359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a09929fa18be057d20e940578849cc6f5a29a3e2","datavalue":{"value":"06B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418090$A21373C7-E4B5-40AD-BDD3-F07C37BE11D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ba40962b9b1c6cc590e99c35b83dff6377a190fb","datavalue":{"value":"08C15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418090$6BCC13BB-2CE8-483C-8934-DE06AEF6CE77","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3de2925d77ad9f93811996eacd063243a6816789","datavalue":{"value":"5121222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418090$A9023D01-A1DC-4BD0-BD3D-0A6D4AB931B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce4feea89835b46b1433881e67cdd6f181cb49b8","datavalue":{"value":"relevance logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418090$4BC3831A-62BA-4AEC-8838-497C538E88AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"05a81fe31a0b0b33ad580c15f90c177a0215e363","datavalue":{"value":"mingle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418090$E3621455-D2DC-4DDA-865A-4D369F4079D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98a6d23e6dedf247d44051611978feaaec2e022","datavalue":{"value":"residuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418090$90092219-F2BB-4CB9-9EE5-E158B96757D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94f3531da5c3e635664f55f4028584a33a6a790b","datavalue":{"value":"relevant disjunction lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418090$64801174-8173-43AD-9F8C-8A434B769EE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c323fc98d37610defec708b5b5efc701bf2bc863","datavalue":{"value":"finite embeddability property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418090$A12C1A3A-66B6-4FE9-ACCD-79A9549F33FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418090$5E7FF6A2-501E-475B-AC3E-746DDBF044ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e4e91f7c29f8abae2f1683f2bac6b16e18e8dde","datavalue":{"value":"deducibility problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3418090$67B3F6D3-B171-4497-B7D7-479B1F02153A","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":"Q3418090$20E0AC0D-66E4-414D-8DEA-6B9202FCC3E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43438c4b22d8caa56e55eea93dcc85ebb047480c","datavalue":{"value":"https://doi.org/10.1002/malq.200610018","type":"string"},"datatype":"url"},"type":"statement","id":"Q3418090$D85404BC-5F03-4B81-99F9-E57320D52A64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b947f58dc922e64780449b47611f25b89a762218","datavalue":{"value":"W2133789890","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418090$4EC1C83C-5394-4A05-8BDD-A6E273FB65B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec66ae5e25e6ecc884c1ac85afec009ec34c7ca6","datavalue":{"value":{"entity-type":"item","numeric-id":1198408,"id":"Q1198408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3418090$84A0C9CF-2944-4BB6-B9D0-DA3133A14224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6939b7c6b5e1e43a2947e6d05e58171b2f424c55","datavalue":{"value":{"entity-type":"item","numeric-id":3934450,"id":"Q3934450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3418090$8A3BEADB-AFBC-4930-A7EF-621374FAAD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71bd80b8960eda306930f827a0ca4b234b12eceb","datavalue":{"value":{"entity-type":"item","numeric-id":3472078,"id":"Q3472078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3418090$276D781F-7C74-4D77-A115-5BEF14C9C6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c444c6ec3cb9757a686662251d3648e5a1703ba","datavalue":{"value":{"entity-type":"item","numeric-id":4940727,"id":"Q4940727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3418090$44FC4913-54E9-478B-BBC4-B505FC11DF27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d7fee098140b862bcd8ca938e3521ab1ba6d52e2","datavalue":{"value":"10.1002/MALQ.200610018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3418090$E23E4C62-C98F-44E8-89C9-A89963C6FD07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6a849e2dc62f24cc282b64497e1acd6070de7729","datavalue":{"value":{"entity-type":"item","numeric-id":750419,"id":"Q750419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8965b62997a0fc3b6323274c55cba41ea6c24f5","datavalue":{"value":{"amount":"+0.7734764218330383","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":"Q3418090$7BFD47D2-F9D4-4DA4-9A2B-CFD06D98FEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0408e6202c65566d6f338e954b11451cff24145e","datavalue":{"value":{"entity-type":"item","numeric-id":3305418,"id":"Q3305418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f97b8fb2e99a7d902b6bcfd61ae25857c7149768","datavalue":{"value":{"amount":"+0.7432035207748413","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":"Q3418090$613D40BE-C9F2-4BB6-A25E-B97EDBE38454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bce9eed4ce79dd805f77126f1e39a457acc8bbc","datavalue":{"value":{"entity-type":"item","numeric-id":1317904,"id":"Q1317904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2fd1c60beafd0ac844bbc9c36a920f1f4755abe","datavalue":{"value":{"amount":"+0.7420536279678345","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":"Q3418090$8103BE81-577B-449D-82B6-7F661918463B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"607694c2c7ba9e6b6a10d7f07e298a96a7397718","datavalue":{"value":{"entity-type":"item","numeric-id":2856632,"id":"Q2856632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f40b01d3fc55d9762b0b4b68c370ec6328e9043","datavalue":{"value":{"amount":"+0.7408214211463928","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":"Q3418090$A183CDA0-18F0-48A9-8D55-D6410D7A8BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf1f8605add2dcc7b97771d581af046cff74a4e","datavalue":{"value":{"entity-type":"item","numeric-id":1770601,"id":"Q1770601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5fcbdbabd99b06a48da1c2833a1d1c542180d6c","datavalue":{"value":{"amount":"+0.7371819019317627","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":"Q3418090$2A3C4445-6E9B-4F8E-9195-D1D81D4D1A76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3418090","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3418090"}}}}}