{"entities":{"Q673184":{"pageid":675033,"ns":120,"title":"Item:Q673184","lastrevid":63607797,"modified":"2026-04-11T14:19:26Z","type":"item","id":"Q673184","labels":{"en":{"language":"en","value":"Free objects and equational deduction for partial conditional specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985430"}},"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":"Q673184$18F84D3A-60F2-442A-B005-5C1A93A91D3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"333bbb1c00e07fd9eb582d2f1675e1a23fec1c1e","datavalue":{"value":{"text":"Free objects and equational deduction for partial conditional specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673184$46FA1761-AB68-46E7-97AB-69E9D4B893B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7080ec6cccd23914804b8f11a4d30c0ef1a686bf","datavalue":{"value":"0872.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673184$20479B1B-F82C-468C-8170-60E58ED6E105","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0bdd3c03e087ed0f71f24988a883fd81ae0e2fe3","datavalue":{"value":"10.1016/0304-3975(95)00246-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673184$1E91F52B-89A6-4441-9E33-81FB396DC097","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"278d84a31aa4d41905d8d358c66cb65e85593d8f","datavalue":{"value":{"entity-type":"item","numeric-id":673182,"id":"Q673182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$8B321D47-BF99-4476-9397-238CC1310F49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d6b4406c37cb659c11d73b150d343f69e848fac","datavalue":{"value":{"entity-type":"item","numeric-id":673183,"id":"Q673183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$669EA379-67F9-4FED-B9BF-0080774B03FF","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":"Q673184$ED6A2423-78AF-4574-9261-E964F31A1439","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673184$6AEAD31E-2650-4905-BFBE-40D35E2E8918","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673184$B54D319B-88B8-4B0A-B0DA-69C41CB8AEA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6834cb5d9d90f0e7863def70201a72cce239988","datavalue":{"value":"985430","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673184$DA5C2627-54D5-4388-8603-1D3D914D5C7F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a73aa4ffea3012fda927bf7bd8f03e1f55a43aea","datavalue":{"value":"free models","type":"string"},"datatype":"string"},"type":"statement","id":"Q673184$39069C9B-CB60-4AAD-AC6A-9C9951B5C1D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f46319aac96f562011c17414aae26d5476995c07","datavalue":{"value":"existence of free and initial models","type":"string"},"datatype":"string"},"type":"statement","id":"Q673184$267DBFE9-CC00-4397-99B1-B2B989CDB285","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6db2a10ca2b73c927bf52da406331abeb582df4","datavalue":{"value":"Birkhoff-like deduction theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q673184$FFCC39B0-5A36-4575-9ECB-37F261D9EA56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1db5be9a0057d4181a30288e107f42f4c967a41d","datavalue":{"value":"infinitary conjunctions","type":"string"},"datatype":"string"},"type":"statement","id":"Q673184$19F963AB-7B7F-48B9-A34C-1BC78C25D1F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18d6a7ec6df4d9c8334b4002fb74fa081d65790","datavalue":{"value":"empty-carrier problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q673184$D2DC2562-DDD1-4366-9340-F470A6BA3932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c35c68919eea303259dabe69b9ccc445d03d163b","datavalue":{"value":"term-generated extensional models","type":"string"},"datatype":"string"},"type":"statement","id":"Q673184$D41CB872-7F53-4300-B552-68B123B3AE52","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":"Q673184$839AC6FC-05C4-4CF0-8D8D-5D924DAF80BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c95f0540ab7a14dabaa5d06fa7b7884b4e83d9b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(95)00246-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q673184$9567D508-3204-4CEE-9FD8-67D1A62E22AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"772685254bd1e277664b2e821b3090e00dae221f","datavalue":{"value":"W2077369743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673184$BDE0289C-C694-4644-9E65-99C736248897","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"980a0b45fbc4684f6c0b1ea70becfe157c812db8","datavalue":{"value":{"entity-type":"item","numeric-id":2736339,"id":"Q2736339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$57495C1F-1426-4854-8C6B-149103AD6184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0779226ef64318a06d5a96c294cb13cf14dd7ba9","datavalue":{"value":{"entity-type":"item","numeric-id":3030245,"id":"Q3030245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$43F521D9-83EA-422F-8FFA-F91C57305453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c38743c9b00733eb3478a1269b00d84ded661611","datavalue":{"value":{"entity-type":"item","numeric-id":4721640,"id":"Q4721640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$66F20BEB-5762-42B3-BFFC-9747E34C10D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1477c95b36c3b114f8ee0eff92c86db1f1dd27c9","datavalue":{"value":{"entity-type":"item","numeric-id":1187648,"id":"Q1187648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$07F96A33-A008-4619-AF44-77471C851907","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3905e901b71b9a81356a7324c50d53e0a2bc229c","datavalue":{"value":{"entity-type":"item","numeric-id":3657416,"id":"Q3657416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$5390BB38-6D30-4A49-AF60-83841F3B4C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a07700503ce4299f2b802ac0bfc01f5648401a4c","datavalue":{"value":{"entity-type":"item","numeric-id":3731650,"id":"Q3731650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$40AB7176-0535-43CE-81ED-9BE5F0DEF0CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$A603CD25-501C-47F4-96ED-3FBD0D0CAFBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$F4F09244-81A4-4E09-BF1F-0E71E6EA5FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f05ed9b70d419757f408303251a5ebb8aee08a16","datavalue":{"value":{"entity-type":"item","numeric-id":1185017,"id":"Q1185017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$E3FA6D03-CC74-4B7E-9C96-2983B2FF9E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$2DCD4753-F6C9-4C3D-A672-1FF9E86A624B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b119569fbdb13d322462424e06f4aacbb0a4f70f","datavalue":{"value":{"entity-type":"item","numeric-id":3789048,"id":"Q3789048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$15D01F78-B64F-47C9-BD94-AEDD1775D829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b9333699cc6f4fb9c72e8fb4341e54b02f5c3c2","datavalue":{"value":{"entity-type":"item","numeric-id":1091132,"id":"Q1091132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$222352D9-EB82-4D8C-8754-DBAA6D5E1A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1c64aa77167c6580cd7c8c676f0c865faa32857","datavalue":{"value":{"entity-type":"item","numeric-id":4385539,"id":"Q4385539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673184$A694DE31-5EA1-4345-9301-5F5299B67BC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a98fb6bbc79caeaea167f24c3ac96d6eaa12086","datavalue":{"value":{"entity-type":"item","numeric-id":4035228,"id":"Q4035228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84b43dfa203d212fc620138e66b3f8b3a1c51d02","datavalue":{"value":{"amount":"+0.8644726276397705","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":"Q673184$82367784-08C8-47ED-A913-D78370F21000","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0af3b7e1033d48f9d80c7ae56566fe1b0a4a9833","datavalue":{"value":{"entity-type":"item","numeric-id":4018062,"id":"Q4018062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8477add6a96a1a3d277215b4aa9d77febfd257f","datavalue":{"value":{"amount":"+0.8554108142852783","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":"Q673184$2D30892A-01A2-4F69-B747-FD6A535EAA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"105ed4cc62d9941d898f9a1461df34b8c0f49b35","datavalue":{"value":{"entity-type":"item","numeric-id":1102736,"id":"Q1102736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbcd23b17f3dacf1c6b4d702ef333680955eb5a8","datavalue":{"value":{"amount":"+0.7921410799026489","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":"Q673184$F31020C4-76A6-45EA-9069-4DDFC53F68B1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Free objects and equational deduction for partial conditional specifications","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Free_objects_and_equational_deduction_for_partial_conditional_specifications"}}}}}